訂正、(1 + sin x)(1 + cos x) ≦ 3/2 + √2