L'Hôpital's Rule

[lowasser]

Theorem 64 of the 100 Theorems. Should be doable enough once we have derivatives -- though we'll need to define derivatives on the entire real line, not just on proper closed intervals.