A proof of Haemers' toughness conjecture

We prove that if $\Gamma$ is a connected graph with minimum degree $\delta$ and Laplacian eigenvalues $0=\mu_1<\mu_2\leqslant \cdots \leqslant \mu_n$, then the toughness of $\Gamma$ is bounded below by $\mu_2/(\mu_n-\delta)$.