Районная олимпиада по математике 2010 года за 10 класс | Казахстанские олимпиады

Докажите, что xcos⁡x≤π216x\cos x\leq \frac{\pi^2}{16} при 0≤x≤π20 \leq x \leq \frac{\pi}{2}.