MathDB
Inequality with positive integer

Source: Shortlist BMO 2018, A3

May 2, 2019
inequalities

Problem Statement

Show that for every positive integer nn we have: k=0n(2n+1kk+1)k=(2n+11)0+(2n2)1+...+(n+1n+1)n2n\sum_{k=0}^{n}\left(\frac{2n+1-k}{k+1}\right)^k=\left(\frac{2n+1}{1}\right)^0+\left(\frac{2n}{2}\right)^1+...+\left(\frac{n+1}{n+1}\right)^n\leq 2^n Proposed by Dorlir Ahmeti, Albania