Definition:Big-O Estimate of Real Function at Point