Crossing lemma
= Crossing lemma
{wiki}
If a simple graph has $n$ vertices and $e\geq4n$ edges, every plane drawing has at least
$$
\frac{e^3}{64n^2}
$$
crossings. Apply the linear planar bound to the random induced subgraph obtained by retaining vertices independently with probability $4n/e$.