Derivative and monotonicity

The article presents several proofs of the growth of a function with a positive derivative, which do not use the developed apparatus of differential calculus - Fermat's, Rolle's, Lagrange's theorems. The questions of the fundamental non-elementarity of such proofs are discussed, as well as the expediency of including this topic in the school mathematics course.