0からpi/2の範囲でsin(sin(x))を積分