Differentiable function/D open in K/Linear approximation/Fact/Proof

Proof

If is differentiable, then we set

Then the only possibility to fulfill the conditions for is

Because of differentiability, the limit

exists, and its value is . This means that is continuous in .
If and exist with the described properties, then for the relation

holds. Since is continuous in , the limit on the left-hand side, for , exists.