結果 : integration of log sin x dx from 0 to pi 2