A proof of Carleson's 𝜀2-conjecture