If a function has akϕka_k\phi_k in an asymptotic expansion, its leading order is the comparison scale ϕk\phi_k, up to a nonzero constant factor. Thus a leading term 3ε23\varepsilon^2 has order ε2\varepsilon^2. The limiting variable and the chosen are part of the statement.

Cancellations change the order

If two quantities of order ε\varepsilon have equal leading coefficients, their difference may have order ε2\varepsilon^2 or smaller. An upper bound f=O(ε)f=O(\varepsilon) alone does not establish a nonzero leading term.