• and are positive (!!!)
    • definitions
      • (for all ) is bounded (q2.44a)
    • theorems
      • (q2.45a)
      • (q2.44b)
      • (q2.44c) is bounded
      • (q2.45c) Transitivity -
      • (2.49) for each natural, and real: (i.e. , 2.50)

see also Asymptotic notation