>>679
[x]はxを越えない最大の整数
0<x<π/2 のとき、0<cosx<1