My Calculus book defined a function to be diffrenciable at point . If and only if, the increment can be expressed as:

=

as then .

My problem is that I understand it but I was hoping for a more rigorous definition. Can someone give one in terms of limits?