Definition:O Notation/Big-O Notation/General Definition