Definition:Little-O Estimate for Real Function at Infinity