cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-2 of 2 results.

A278494 Primes p for which there does not exist any such integer k that k - A002828(k) = p.

Original entry on oeis.org

2, 5, 7, 13, 17, 23, 29, 31, 37, 47, 61, 79, 89, 97, 101, 103, 109, 113, 127, 157, 167, 193, 197, 199, 223, 229, 241, 257, 269, 271, 281, 293, 313, 317, 337, 353, 359, 383, 389, 397, 401, 409, 421, 433, 439, 449, 461, 463, 487, 509, 541, 569, 577, 593, 601, 607, 631, 647, 653, 673, 677, 709, 719, 727, 751, 761, 769, 773, 797
Offset: 1

Views

Author

Antti Karttunen, Nov 25 2016, with additional comments Nov 28 2016

Keywords

Comments

Primes that are leaves in the tree defined by edge relation parent = A255131(child), "the least squares beanstalk".
Primes p such that (A002828(1+p) <> 1), (A002828(2+p) <> 2), (A002828(3+p) <> 3) and (A002828(4+p) <> 4).
See comments in A278495 which gives the count of these primes in each range [n^2, (n+1)^2].
This is a subsequence of A045352 as no prime of the form 8n+3 ever occurs in this sequence. This stems from a more general fact that A278490 contains no numbers of the form 8n+3, because A002828(8n+7) = 4 for all n. (See A004215.)

Crossrefs

Intersection of A000040 and A278490.
No common terms with A277888, some common terms with A278487.
Subsequence of A045352.
Cf. also A263091.

A278495 a(n) = number of primes in range [n^2, (n+1)^2] that are leaves in "the least squares beanstalk" tree.

Original entry on oeis.org

1, 2, 1, 2, 2, 2, 1, 1, 2, 4, 1, 2, 1, 3, 2, 4, 3, 3, 3, 5, 3, 2, 2, 4, 4, 4, 4, 3, 4, 4, 4, 4, 2, 3, 3, 2, 4, 2, 5, 4, 6, 3, 5, 4, 5, 5, 4, 6, 3, 3, 6, 8, 4, 5, 3, 5, 5, 5, 4, 6, 6, 7, 5, 5, 7, 6, 8, 8, 8, 8, 5, 5, 5, 8, 7, 7, 7, 3, 13, 5, 8, 6, 8, 7, 8, 5, 14, 7, 8, 8, 10, 7, 5, 8, 6, 7, 6, 9, 4, 10, 4, 9, 8, 6, 8, 8, 8, 6, 10, 11, 13, 9
Offset: 1

Views

Author

Antti Karttunen, Nov 25 2016

Keywords

Comments

Number of terms of A278494 in range [n^2, (n+1)^2], where A278494 are primes p for which there does not exist any such integer k that k - A002828(k) = p.
In other words, number of primes p in range [n^2, (n+1)^2] for which (A002828(1+p) <> 1) and (A002828(2+p) <> 2) and (A002828(3+p) <> 3) and (A002828(4+p) <> 4).
Conjecture: a(n) > 0 for all n >= 1.
Similar guesses are easy to make but hard to prove. I also conjecture that A277487(n) > 0 for all n > 80, and that both A277486(n) > 0 and A277488(n) > 0 for all n > 7. If any of these claims were proved true, it would imply the proof of Legendre's conjecture as well. See also comments in A014085 and sequences A277888 & A278487.

Crossrefs

Cf. A000290, A002828, A010051, A010052, A014085 (an upper bound), A278216, A278494 (primes that are counted), A278496.
Cf. also A277486, A277487, A277488.

Programs

  • PARI
    istwo(n:int)=my(f); if(n<3, return(n>=0); ); f=factor(n>>valuation(n, 2)); for(i=1, #f[, 1], if(bitand(f[i, 2], 1)==1&&bitand(f[i, 1], 3)==3, return(0))); 1
    isthree(n:int)=my(tmp=valuation(n, 2)); bitand(tmp, 1)||bitand(n>>tmp, 7)!=7
    A002828(n)=if(issquare(n), !!n, if(istwo(n), 2, 4-isthree(n))) \\ From Charles R Greathouse IV, Jul 19 2011
    A278495(n) = { my(s = 0); for(k=(n^2),(n+1)^2, if((isprime(k) && (A002828(1+k) <> 1) && (A002828(2+k) <> 2) && (A002828(3+k) <> 3) && (A002828(4+k) <> 4)),s = s+1) ); s; };
    for(n=1, 10000, write("b278495.txt", n, " ", A278495(n)));
    
  • Scheme
    (define (A278495 n) (let loop ((k (+ -1 (A000290 (+ 1 n)))) (s 0)) (if (= 1 (A010052 k)) s (loop (- k 1) (+ s (* (A010051 k) (if (zero? (A278216 k)) 1 0)))))))

Formula

For all n >= 1, a(n) <= A014085(n).
Showing 1-2 of 2 results.