Formal Definition To Prove A Limit