Demonstrates a proof of the formula for the sum of first n positive integers commonly attributed to Carl Friederich Gauss.