Monotone bounded convergence theorem proves that the sequence is bounded;

The existence theorem of implicit function solves the slope of any part of the known curve equation;

The others are too NB to control.