Complete minors and average degree: A short proof

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 Ω ( d ∕ log d ) ${\rm{\Omega }}(d\unicode{x02215}\sqrt{{\rm{log}}d})$ .