Proving Limits of Quadratic Functions