Definition:Big-O Estimate for Real Function at Infinity