The irrationality exponent of pi is 2

We prove the conjecture that the irrationality exponent of π is 2. As a consequence, the classical Flint–Hills series ${\sum }_{n\ge 1}1/(n^3{\sin }^{2}n)$ converges, with angles in radians.