0<a<1のときsinx>axとなるx>0が存在する

ある0<a<1のときｘが存在しないすると
　 sin(x)= ax for x>0 になる。

sin(pi/2)=a (pi/2)==> a =2/pi==>1/2 =in(pi/6)=2/pi * pi/6=1/3
でおかしくなる。