On page 373 of William Stallings' Computer Organization and Architecture, there is a proof. It is important to note that when it says, "The two values must be equal," there is an issue with the sign in the third line where it shows negative two raised to the power of n minus one; it should be positive, not negative. The sum from the third line to the fourth line is the sum of a geometric series.