Big O Notation Mathematical Definition