Solution to a problem of Grünbaum on the edge density of $4$-critical planar graphs

Zdeněk Dvořák, Carl Feghali

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