In order for to exist, we require:

Now, using the definition of , we find this means:

In order for to exist, we require:

Now, using the definition of , we find this means:

This ensures the limits exist, and while there is a discontinuity at , this is allowed as the function need not have the value of the limits at that point.