查看原题
$\int_0^1 d y \int_{\arcsin y}^{\pi-\arcsin y} x d x$ ;
                        
不再提醒