StewartCalculus, 5thed.: seems a bit more wordy. For the epsilon-delta rigorous proofs, there is a separate section (2.4), which redefines limits from an earlier section. It appears that the rigorous definitio