>>412
全部同時に成立するなら4^3a(1-a)b(1-b)c(1-c)＞1
ところが
0＜4a(1-a)≦1、0＜4b(1-b)≦1、0＜4c(1-c)≦1より0＜4^3a(1-a)b(1-b)c(1-c)≦1
でいいんじゃね？