Formal Definition of Limit