Tweaking the constant in the Linear Hadwiger Theorem
Norin and Steiner recently proved the Linear Hadwiger Conjecture. That is, there is an absolute constant $C$ such that every graph $G$ satisfies $\chi(G)\leqslant C\,\text{had}(G)$, where $\chi(G)$ is the chromatic number and $\text{had}(G)$ is the Hadwiger number of $G$. They estimate that their proof gives a non-opti...