P
Initializing...
Lemma 2.3 — $\mathbf{E}[f(A(p) \cup B(q))]$ bounded below by the four corners · Prove2Me