x≧π/2をみたす実数xについての関数f(x)を
　f(x)=∫[π/2,x]sint/t dt
とおく．このとき，f(x)≦f(π)を示せ．