Hola Fernando, es cierto que esa afirmación falta probarla. Es cierto que . Pero habría que probarlo. Para ello te recomiendo hacerlo por inducción (el caso base es trivial, pues ). Luego como
Se puede resolver la inecuación
y ver qué tiene que cumplir para que se cumpla la inecuación (y dicha condición será coherente con la hipótesis de inducción).