Montrer que (8 sin x - sin(2x))/6<x<(tan x +2 sin x)/3 pour 0<x<\pi/2.
Problème proposé par Olivier Baudel, paru dans La Jaune et la Rouge de mars 2022
solution