Concerning Carathéodory's criteria of differentiability and a proof that differentiable implies continuous

real-analysis solution-verification calculus proof-verification

It looks just fine to me! Nice work.

Related

Convergence of series $\sum_{n=1}^{\infty}{\frac{1}{\sqrt{1}+\sqrt{2}+...+\sqrt{n}}}$
Applications of the Residue Theorem to the Evaluation of Integrals and Sums
Finite ring has only zero divisors and units [duplicate]
Prime ideals of a localization
Prove that if $X$ and it's closure $\overline X$ are connected and if $X\subset Y \subset \overline X$, show that Y is also connected.
Complement Set of Cartesian product
Extension, restriction, and coextension of scalars adjunctions in the case of noncommutative rings?
Show that $(y_n)\in l^q$
Is the sum of all natural numbers $-\frac{1}{12}$? [duplicate]
Why is conjugation by an odd permutation in $S_n$ not an inner automorphism on $A_n$?
If $(I-T)^{-1}$ exists, can it always be written in a series representation?
Congruence of invertible skew symmetric matrices