F(x)=∫[t=x,(√3)x] √(1-t^2)dt
ただし0≦x≦1/√3とする

という式があり、F(x)の最大値を求めよという設問なのですが、
F'(x)=0よりxの値を求めた後、
F(1/√3)を求める過程でSin-1(1/√3)（アークサイン）が出てくるのですが、
Sin-1(1/√3)はどのようにして求めればいいのでしょうか？