あ、ちなみに>>752の解は π/4 です。
積分で解く方法がわかりません><