I see two sentences:
total amortized cost of a sequence of operations must be an upper bound on the total actual cost of the sequence