0,1

a(n) is also the smallest prime divisor of A007018(n+1) that is not a divisor of A007018(n).

The prime numbers a(n) are all distinct, which proves the infinitude of the prime numbers (Saidak's proof).

a(12) <= 2589377038614498251653. - Daniel Suteu, Jan 20 2019

a(12)..a(50) = [?, 52387, 13999, 17881, 128551, 635263, ?, ?, 352867, 387347773, ?, 74587, ?, ?, 27061, 164299, 20929, 1171, ?, 1679143, ?, ?, 120823, 2408563, 38218903, 333457, 30241, 4219, 1085443, 7603, 1861, ?, 23773, 51769, 1285540933, 429547, ?, 8323570543, ?], where ? denote unknown values > 10^10. - Max Alekseyev, Oct 11 2023

Filip Saidak, A new proof of Euclid's theorem, Amer. Math. Monthly, 113:10 (2006) 937-938.

Wikipedia, Sylvester's sequence: Divisibility and factorizations.

a(n) = A007996(m), where m is the smallest index such that A180871(m) = n. - Max Alekseyev, Oct 11 2023

with(numtheory):

u:=1: P:=NULL: to 9 do P:=P, sort([op(divisors(u+1))])[2]: u:=u*(u+1) od:

P;

(PARI) f(n)=if(n<1, n>=0, f(n-1)+f(n-1)^2); \\ A007018

a(n)=divisors(f(n)+1)[2]; \\ Michel Marcus, Jan 20 2019

Cf. A007018, A000058, A007996, A091335, A180871.

Sequence in context: A261564 A375543 A126263 * A354376 A216826 A030087

Adjacent sequences: A323602 A323603 A323604 * A323606 A323607 A323608

nonn,more

Robert FERREOL, Jan 19 2019

a(10)-a(11) from Daniel Suteu, Jan 20 2019

approved