P
Initializing...
Lemma 8 (finite weighted power Jensen inequality) · Prove2Me