Definition:Big-O Notation for Sequences