A:a^(r-1)>2Π[k=1,r]pk×4^(4-1)/(a/b)^(r-1)
B:a^(r-1)>2Π[k=1,r]pk
のとき
A⇒B
が成立するとき
B∧Not A=φ
でなければならないので
B⊆A
となることが必要になる