>>203
sinx/xが[0,π/2]で単調減少であることを示す

くらいしか思いつかん