editing
approved
editing
approved
The sequence is well-defined in that for each n the set of numbers with n nonprime substrings is not empty. Proof: Define m(n):=2*sum_{j=i..k} 4^j, where k:=floor((sqrt(8*n+1)-1)/2), i:= n-A000217(k). For n=0,1,2,3,… ... the m(n) in base-4 representation are 2, 22, 20, 222, 220, 200, 2222, 2220, 2200, 2000, 22222, 22220, …. ... m(n) has k+1 digits and (k-i+1) 2’s. Thus, the number of non-prime nonprime substrings of m(n) is ((k+1)*(k+2)/2)-k-1+i = (k*(k+1)/2)+i = n, which proves the statement.
approved
editing
proposed
approved
editing
proposed
The sequence is well-defined in that for each n the set of numbers with n nonprime substrings is not empty. Proof: Define m(n):=2*sum_{j=i..k} 4^j, where k:=floor((sqrsqrt(8*n+1)-1)/2), i:= n-A000217(k). For n=0,1,2,3,… the m(n) in base-4 representation are 2, 22, 20, 222, 220, 200, 2222, 2220, 2200, 2000, 22222, 22220, …. m(n) has k+1 digits and (k-i+1) 2’s. Thus, the number of non-prime substrings of m(n) is ((k+1)*(k+2)/2)-k-1+i = (k*(k+1)/2)+i = n, which proves the statement.
a(n) >= 4^floor((sqrsqrt(8*n-7)-1)/2) for n>0, equality holds if n is a triangular number (cf. A000217).
approved
editing
editing
approved
2, 1, 5, 4, 19, 17, 16, 75, 67, 66, 64, 269, 263, 266, 257, 256, 1053, 1031, 1035, 1029, 1026, 1024, 4125, 4119, 4123, 4107, 4099, 4098, 4096, 16479, 16427, 16431, 16407, 16395, 16391, 16386, 16384, 65709, 65629, 65579, 65581, 65559, 65543, 65539, 65537, 65536, 262383, 262317, 262231, 262187
approved
editing
editing
approved
editing
proposed