Complete minors and average degree: A short proof

Abstract

We provide a short and self-contained proof of the classical result of Kostochka and of Thomason, ensuring that every graph of average degree d $d$ has a complete minor of order omega(d/logd) ${\rm{\Omega }}(d\unicode{x02215}\sqrt{{\rm{log}}d})$.