求∫π/2(上)0(下)4cosx的定积分