Sea $k$ uno de los enteros $2, 3, 4$ y sea $n = 2^k -1$ . Demuestra la desigualdad \[1+ b^k + b^{2k} + \cdots+ b^{nk} \geq (1 + b^n)^k\] para todo $b \geq 0$ real.