TrigInequality AreaMethod Inequality

Problem - 3033
Let real numbers $x_1$ and $x_2$ satisfy $ \frac{\pi}{2} > x_1 > x_2 > 0$, show $$\frac{\tan x_1}{x_1} > \frac{\tan x_2}{x_2}$$

report an error