>>494
逆だ逆だ、arcsin「を」微分したら被積分関数になることを示す。