== Deterministische Varianten == Wenn die Zahl n klein ist, ist es nicht notwendig, alle a < 2(ln n)2 zu testen, da bekannt ist, dass eine viel kleinere Anzahl ausreichend ist. Beispielsweise haben Pomerance, Selfridge und Wagstaff sowie Jaeschke folgendes verifiziert: Siehe auch die Prime Pages, Miller-Rabin SPRP bases records, Zhang/Tang und ebe...