Öncelikle x=0 durumunu inceleyelim ve ardından x≠0 durumunu inceleriz.
i)x=0 için eşitsizliğin sağlandığı aşikar.
ii)x≠0 ise aşağıdaki düzenlemeleri yaparak devam edelim.
cosx=1−sin2(x2)
özdeşliğini denklemde yerine yazalım. Şimdi sin2(x2)≥x2π eşitsizliğini düzenleyelim.
x≠0 olduğu için her iki tarafı x2 ile bölebiliriz.
sin2(x2)x2≥1π
Bu eşitsizlikte düzenlenir ve t=x2 dönüşümü yapılırsa 0≤t≤π4 için aşağıdaki eşitsizlik elde edilir.
f(t)=(sintt)2≥2π
df(t)dt=tcost−sintt2≥0 olduğundan artandır ve en yüksek değerini t=π4 için alır ki f(π4)=8π≥2π
◼