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