Definition:Convergent Real Function