We show that \(\limsup |E(G)|/|V(G)| = 2.5\) over all 4-critical planar graphs G, answering a question of Grünbaum from 1988.

中文翻译：

---

4临界平面图边密度的Grünbaum问题的求解

我们在所有 4 临界平面图G上证明了\(\limsup |E(G)|/|V(G)| = 2.5\)，回答了 Grünbaum 1988 年的问题。