↑　訂正
「ab ≦ 1/4 」∨「 (1-a)(1-b) ≦ 1/4　」→　「ab(1-a)(1-b) ≦ 1/16」