在他的鉅著Disquisitiones Arithmeticae中,高斯猜想一個類數 的虛二次域,其二元二次型判別式為
,隨著
趨於無窮大而趨於無窮大。 Heilbronn (1934) 最終給出了證明,Siegel (1936) 表明對於任何
,存在一個常數
使得
當 時。然而,這些結果在實際確定給定
的基本判別式
的值,使得
時,並非有效,這個問題被稱為高斯類數問題。
Goldfeld (1976) 證明了,如果存在一條“Weil 曲線”,其相關的狄利克雷 L 級數在 處至少有三階零點,那麼對於任何
,都存在一個可有效計算的常數
使得
Gross 和 Zaiger (1983) 證明了某些曲線必須滿足 Goldfeld 的條件,並且 Oesterlé (1985) 簡化了 Goldfeld 的證明。