Analytic class number formula