Credit adds to ``potential'' of whole data structure instead of to individual objects.
Definitions
If , then the amortized cost is an upper bound on the actual cost.
However, we do not know n.
If for all i, then we always pay in advance.
Let , thus we want .
This is similar to the accounting method since we credit potential when is positive and debit potential when is negative.