A mi me parece que tiene que haber algún error, porque si \( \displaystyle\frac{1}{n+1}+\displaystyle\frac{1}{n+2}+...+\displaystyle\frac{1}{2n+1}\geq{\displaystyle\frac{5}{6}} \) es \( P(n) \), entonces \( P(n+1) \) es \( \displaystyle\frac{1}{n+2}+\displaystyle\frac{1}{n+3}+...+\displaystyle\frac{1}{2n+3}\geq{\displaystyle\frac{5}{6}} \), que no aparece. Pero si \( \displaystyle\frac{1}{n+1}+\displaystyle\frac{1}{n+2}+...+\displaystyle\frac{1}{2n+1} \geq{\displaystyle\frac{5}{6}} \) es \( P(n+1) \) entonces \( P(n) \) es \( \displaystyle\frac{1}{n}+ \displaystyle\frac{1}{n+1} ...+\displaystyle\frac{1}{2n-3}\geq{\displaystyle\frac{5}{6}} \), que tampoco aparece.
Tiene pinta de haber un error en el enunciado