Definition:Little-O Notation/Real