MathDB
sinv < 20/21 ? if tan v = 2v and 0 < v < \pi / 2

Source: Swedish Mathematical Competition 2004 p4

March 21, 2021
trigonometryalgebrainequalities

Problem Statement

If 0<v<π20 < v <\frac{\pi}{2} and tanv=2v\tan v = 2v, decide whether sinv<2021sinv < \frac{20}{21}.