You want to prove monotonicity and boundedness of . Boundedness is simple
As for monotonicity you are making a mistake we are talking about the monotonicty of , that is NOT . So we need to show that . Since both sides are positive for all n we have that
. Simplifying gives which is obviously true for all positive n.