User:Barto/Asymptotic Notation/Real