Putnam 2024 B3

Let $r_n$ be the $n$th smallest positive solution to $\tan x = x$, where the argument of tangent is in radians. Prove that $$0 < r_{n+1} - r_n - \pi < \frac{1}{(n^2+n)\pi}$$ for $n \geq 1$.