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