1-D Formal Definition of Limit