证明∫（sinx⼀x）dx 在[0,π⼀2]的定积分估值。