All values through 2079 have been proved prime with WinPFGW. No more terms up to 6700. Primality testing 2079!*F(2079)+1 [N-1, Brillhart-Lehmer-Selfridge] Running N-1 test using base 2087 Running N-1 test using base 2099 Calling Brillhart-Lehmer-Selfridge with factored part 33.88% 2079!*F(2079)+1 is prime! (15.2535s+0.0043s)