Tweaking the constant in the Linear Hadwiger Theorem

AI use, as the source states it

“This paper uses AI assistance to optimise their argument, and shows that every graph G satisfies χ(G)\,\leqslant\,1{,}118{,}430\,had(G).”