P
Initializing...
Corollary 1, p. 57 — conditional variant: 𝔼[max{X + φ(X,·), 0}] ≥ 𝔼[max{𝔼(X|ℋ) + φ(X,·), 0}] · Prove2Me