>>620
sin(x)が0以上になったところで
右辺を上回るかどうかは別の話
それだけでは全然P(n)は評価できないだろう。
sin(x)しか見てないような悪寒