高校数学で
1-1/e<∫(0→π/2)e^(-sinx)dxの証明はどうやるのでしょうか。