∃ x0,M∈R:∣T(x)∣≤Mf(x) ∀ x>x0→T(n)=O(f(x)) If a function T(x) is bounded for large values by a constant multiple of another function f(x), we say T(n)=O(f(x))