log[π/2](x)=sin(x)が成り立つようなxっていくつありますか?