- Proofs

Q: How can I do - proofs for limits? For example, prove that the limit of , as approaches 2, is 4.

A: Andrzej Kozlowski (akoz@mimuw.edu.pl) answers: If you restrict attention to rational functions, you can use quantifiers and Resolve to do this.