P
Initializing...
Theorem 2.2, eq. (1), Hermite-kernel form: $\mathbb E[f(X)g(Y)\,6(P_3-2P_1)]\ge -22/\pi$ · Prove2Me