>>63

「ab > 1/4 」∧「(1-a))(1-b) > 1/4　」→　「ab(1-a)(1-b) > 1/16」
「ab > 1/4 」∨「 (1-a)(1-b) > 1/4　」→　「ab(1-a)(1-b) ≦ 1/16」