Amortized Analysis in Binary Counter for Potential method in calculating potential decreasing

Question

The amortized analysis formula for potential method is

amortized_time=Actual_Time+(Potential_After-Potential_Before)

And in the case of Binary Co