結果 : integral of ln sin x from 0 to pi 4