查看原题
$\int_0^{\frac{\pi}{2}} \ln \sin x d x=$
                        
不再提醒