epsilon-N definition for a limit at infinity (introduction & proof writing tips)