Definition
Leading order
The first nonvanishing contribution in an ordered asymptotic expansion.
If a function has leading term in an asymptotic expansion, its leading order is the comparison scale , up to a nonzero constant factor. Thus a leading term has order . The limiting variable and the chosen scale are part of the statement.
Cancellations change the order
If two quantities of order have equal leading coefficients, their difference may have order or smaller. An upper bound alone does not establish a nonzero leading term.