Rabern, L. A Better Lower Bound on Average Degree of 4-List-Critical Graphs. Electron. J. Combin. 2016, 23, P3.37.