ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3237 on R4729: Complex binomial inequality

P3237

This result is a particular case of R4727: Euclidean real binomial inequality. $\square$