Thomas calculus 11th edition proving of limit statments