f⁡(x)=O⁡(ϕ⁡(x))⟺|f⁡(x)/ϕ⁡(x)|⁢ is bounded.