>>442

それならば、部分積分して、
[x^3*arcsinx](0〜1) - ∫[0〜1](1/3)x^3/√(1-x^2) dx
=π/6 - (1/3)∫[0〜π] (sinθ)^3 dθ   ← x=sinθで置換
となって積分できる。