Precise Definition Of A Limit Proof