Let 
be an odd prime and 
the cyclotomic field
of 
th
roots of unity over the rational field.
Now let 
be the power of 
which divides the class number 
of 
. Then there exist integers 
and 
such that
 |
for all sufficiently large 
. For regular primes, 
.
