a, b≧0 に対して、(1+a)^4・(1+b)^4 ≧ 64ab(a+b)^2