>>532
P(X<x)=x/pi
Y<y⇔sinX<y⇔0<X<arcsin(y),pi-arcsin(y)<X<pi
P(Y<y)=P(X<arcsin(y))+P(pi-arcsin(y)<X<pi) 以下略