>>609
すみません、語弊がありました。
F'(x)に出てくるというわけではなくて、
F(x)=∫[t=0,(√3)x]-∫[t=0,x]として、t=√3で置換積分してF(x)を解くとarcsin(1/√3)が出るということなのですが、
あれ？もしかして出てきませんか？