Proof of infinite geometric series as a limit