Students' Reasoning about Limit: In the Context of Reinventing the Formal Definition