The irrationality exponent of π is 2

We prove the conjecture that the irrationality exponent of \(\pi\) is \(2\). As a consequence, the classical Flint--Hills series \(\sum_{n\ge1}1/(n^3\sin^2 n)\) converges, with angles in radians.