Question Number 163718 by HongKing last updated on 09/Jan/22
$$\mathrm{let}\:\:\mathrm{m}\in\mathbb{N}\:\:\mathrm{and}\:\:\mathrm{0}<\mathrm{x}<\mathrm{m} \\ $$$$\mathrm{if}\:\:\:\boldsymbol{\mathrm{i}}\:=\:\left[\frac{\left(\mathrm{m}\:+\:\mathrm{1}\right)\mathrm{x}}{\mathrm{x}\:+\:\mathrm{1}}\right] \\ $$$$\mathrm{prove}\:\mathrm{that}\:\:\:\mathrm{2}\begin{pmatrix}{\mathrm{m}}\\{\:\:\mathrm{i}}\end{pmatrix}\:\geqslant\:\mathrm{x}^{\boldsymbol{\mathrm{m}}-\boldsymbol{\mathrm{i}}} \\ $$$$\mathrm{where}\:\left[\boldsymbol{\mathrm{x}}\right]\:\mathrm{is}\:\mathrm{integer}\:\mathrm{part}\:\mathrm{of}\:\boldsymbol{\mathrm{x}}\:\mathrm{and}\:\begin{pmatrix}{\mathrm{m}}\\{\:\:\mathrm{i}}\end{pmatrix} \\ $$$$\mathrm{is}\:\mathrm{a}\:\mathrm{binomial}\:\mathrm{coefficient} \\ $$