Proved that the potential method yields an upper bound on the actual costs.