| The analytic class number formula equates the residue of a dedekind zeta function at 1 with various properties of a related number field. These properties are defined, their correlation explained, and then they are related to the formula. The class number, a measure of a number field's failure to be a principal ideal domain, is defined and analyzed. Finally, the formula is explicitly stated and proven. |