Weighted Power Inequality

Show that $(\frac{a + b + c + \dots + k}{n})^{a + b + c + \dots + k} < a^{a} b^{b} c^{c} \dots k^{k}$ .

~15 minProof · checked by AIInequalitiesWeighted MeansLogarithmic Convexity

H. S. Hall & S. R. Knight, Higher Algebra (1891) · Ch. XIX. Inequalities, Examples XIX.b, No. 6

Stuck? A gentle nudge

Something off?

Workspace

Your working

Check your full solution

Attach photos of your pages (up to 3) or one PDF — or check what you typed above. Lemma reads the work and verifies the reasoning, not just the answer.

Your first check today doesn't need an account.

Your photos and PDFs are read once and not stored — only the transcription is kept.