Potential method for amortized analysis