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.

User: Florian Baur

Florian Baur's wiki page.

Florian Baur has authored 2 sequences.

A362071 a(1) = 1, and thereafter a(n) is the number of terms with index m < n such that gpf(a(m)) = gpf(a(n-1)), where gpf(k) = A006530(k) is the greatest prime factor of k (or 1 if k=1).

Original entry on oeis.org

1, 1, 2, 1, 3, 1, 4, 2, 3, 2, 4, 5, 1, 5, 2, 6, 3, 4, 7, 1, 6, 5, 3, 6, 7, 2, 8, 9, 8, 10, 4, 11, 1, 7, 3, 9, 10, 5, 6, 11, 2, 12, 12, 13, 1, 8, 13, 2, 14, 4, 15, 7, 5, 8, 16, 17, 1, 9, 14, 6, 15, 9, 16, 18, 17, 2, 19, 1, 10, 10, 11, 3, 18, 19, 2
Offset: 1

Author

Florian Baur, Apr 08 2023

Keywords

Comments

As the sequence consists of terms that are a count of preceding terms, it is unbounded and its record highs are successive integers. Since a new count begins for every term whose gpf was not in the sequence before, every integer is in the sequence infinitely often.
Choosing a(1) = m != 1 will result in an identical sequence with an offset of 1 until the first occurrence of gpf(m) in the sequence. In the original sequence the next term is 1, whereas in the modified sequence it is 2.
A trivial upper bound is a(n) < n. Is there a tighter bound? The terms are expected to grow with n as the density of primes not yet in the sequence decreases and with it the density of terms equal to 1.

Examples

			a(3) = 2, because gpf(a(2)) = 1 and there are 2 terms where index m < 3 and gpf(a(m)) = 1, i.e., a(1) and a(2).
a(12) = 5 because gpf(a(11)) = 2 and there are 5 terms where index m < 12 and gpf(a(m)) = 2, i.e., a(3), a(7), a(8), a(10), and a(11).
		

Crossrefs

Cf. A006530.

Programs

  • PARI
    gpf(n) = if(n == 1, 1, vecmax(factor(n)[,1]))
    \\ returns the first n terms of the sequence:
    A362071UpTon(n) = { my(m = matrix(n,2,a,b,if(b==1,1))); for(i = 2, n, g = gpf(m[i-1,1]); m[i,1] = m[primepi(g)+1,2]++); return(m[,1])}

A354882 a(n) is the smallest number k that is divisible by all numbers d with d < p = prime(n), and such that all of k+1, k-1, k+p, k-p are prime.

Original entry on oeis.org

12, 60, 93240, 2383920, 298378080, 5133688560, 73329656400, 2168462696400, 1215784751781600, 150901712773812000, 133573286426580000, 657837749787992373600, 10597036678652724300000, 2761248653283183065402400, 2053281233421697855815439200
Offset: 3

Author

Florian Baur, Jun 10 2022

Keywords

Comments

Suggested by Charles Kusniec on the mersenneforum.org message board (see "Links" section): a number c(n) = k(n) + r(n), where k(n) = m * A099795(n), r(n) = {-1, 1, p, -p} and p = prime(n), is not divisible by any d with d < p and the density of primes among c(n) is expected to be higher than for random numbers of that magnitude.
The probability that an arbitrary c(n) is prime is higher than that of an arbitrary number of the same magnitude. Let t(n) denote that probability, then t(n) = 1/(((1/2)*(2/3)*(4/5)*(6/7)*...*(prime(n-1)-1)/prime(n-1)) * log(c(n))). According to Mertens's third theorem the value asymptotically approaches 1/((e^gamma/log(prime(n-1))) * log(c(n))). log(c(n)) can be approximated as prime(n-1). This yields t(n) ~ log(prime(n-1))/(e^gamma*prime(n-1)). The probability that c(n) is prime for a random value of m is t(n)^4. Thus, the sequence is expected to grow with (prime(n-1)/log(prime(n-1)))^4*A099795(n). For n < 201 the arithmetic mean of m(n)*t(n)^4 is 1.1. - Florian Baur, Jul 12 2023
For all n < 171, a(n) > a(n-1) with the exception of a(11) < a(10). This occurs whenever m(n-1) > prime(n) * m(n).
The principle can be extended to r(n,i) = {-1,1,-p,p,-q_i,q_i} where q_i = prime(n+i). Such a sequence b for i = 1 would have b(3) = 12, as 5, 7, 11, 13, 17, 19 are all prime. This is the only number k for which all three of k+-1, k+-5, and k+-7 are prime. To satisfy the first requirement for k > 6, we need k == {0, 2, 8} (mod 10). Under this condition, one of k-5 or k+-7 will be divisible by 5. Since 12 - 7 = 5 is the only prime that is divisible by 5, k = 12 is the only k satisfying the condition.
If q, with a(n) + 1 < q < a(n) + prime(n)^2, is prime, the difference r(n) = q - a(n) is also prime. Proof: Per definition a(n) is divisible by all d < prime(n). It follows that, if r is divisible by any d, then so is q = a(n) + r, whence q is not prime. Thus, if q is prime, then r is either also prime or only has prime factors f >= prime(n), i.e., r >= prime(n)^2. See "Fortunate Numbers" (A005235).
There is no a(1) and a(2). Since prime(1) = 2, both k+1 and k+2 need to be prime. This is only true for k = 1, but 1 - 1 = 0 is not prime. For a(2) we have prime(2) = 3 and one of k+1, k-1, k+3 is divisible by 3.

Examples

			a(3): The 3rd prime is 5. The smallest number divisible by all d < 5 is 12. Since 12 - 1 = 11, 12 + 1 = 13, 12 + 5 = 17, 12 - 5 = 7 are all prime, a(3) = 12.
a(5): The 5th prime is 11. The smallest number divisible by all d < 11 is 2520. However, 2520 - 1 = 2519 is not prime. The smallest number satisfying all conditions is 93240, since 93240 - 1, 93240 + 1, 93240 + 11, 93240 - 11 are all prime and 93240 is divisible by all d < 11. Thus, a(5) = 93240.
		

Programs

  • PARI
    A354882(n) = { my(s = 1, p = prime(n), c = lcm([1..p-1])); while(!(isprime(s*c+1) & isprime(s*c-1) & isprime(s*c+p) & isprime(s*c-p)), s++); return(s*c)} \\ Florian Baur, Jul 17 2023

Formula

a(n) = m(n) * A099795(n). Specifically, m(3) = m(4) = 1. For all other n < 201, 25 < m(n) < 333054037 and m(n) cannot have prime(n) as a factor. - Florian Baur, Jul 12 2023