Let a, b, c, d, e, f be nonnegative real numbers.
Prove that (a^2 + b^2)(c^2 + d^2)(e^2 + f^2) >= 8abcdef.
