Definition:Limit of Real Function/Left