793439domain: NPropertiesPrimalityPrimeyesAppears in sequencesPrimes which set a new record for length of Pratt certificate.at n=15A037231a(n+1) = smallest prime p > a(n) such that p-1 divides a(1)*a(2)*...*a(n); or if no such prime p exists, then a(n+1) = smallest prime > a(n).at n=16A282027Prime numbersat n=63461