MathDB
Inequality holds for all real b ≥ 0 -IMO Long List P1

Source:

August 28, 2010
inequalitiesinequalities proposed

Problem Statement

Let kk be one of the integers 2,3,42, 3,4 and let n=2k1n = 2^k -1. Prove the inequality 1+bk+b2k++bnk(1+bn)k1+ b^k + b^{2k} + \cdots+ b^{nk} \geq (1 + b^n)^k for all real b0.b \geq 0.