I'm confused about the need for an ε in condition ii). Should this not be "an = O(nr + ε) for some fixed positive real number r and any ε>0"?