Let f be a strictly increasing, continuous function mapping I=[0,1] onto itself. Prove that the following inequality holds for all pairs x,y∈I: 1−cos(xy)≤∫0xf(t)sin(tf(t))dt+∫0yf−1(t)sin(tf−1(t))dt.
Zs. Pales functioninequalitiestrigonometryintegrationreal analysisreal analysis unsolved