P
Initializing...
Majorization inequality for $\prod (1-1/x_i)$ (Nielsen, Lemma 1.2) · Prove2Me