はすべてのに対してであると予想し,これはレーマーの予想と呼ばれることもある.レーマーはに対して予想が正しいことを証明した(apostol 1997,p. 22).次の表はこの条件がいくつまでのについて成り立つかの進展をまとめたものである.