In an effort to understand what you mean by 'induction' and 'infinity', can you explain where induction comes up in the following standard definition of a limit:
"f has a limit L at x" means exactly that
"forAll epsilon>0 thereExists delta>0 such that if |x-y|<delta then |f(y)-L|<epsilon."
