A092131 -id:A092131 - cp's OEIS frontend

A014234 Largest prime <= 2^n.

2, 3, 7, 13, 31, 61, 127, 251, 509, 1021, 2039, 4093, 8191, 16381, 32749, 65521, 131071, 262139, 524287, 1048573, 2097143, 4194301, 8388593, 16777213, 33554393, 67108859, 134217689, 268435399, 536870909, 1073741789, 2147483647, 4294967291, 8589934583, 17179869143, 34359738337, 68719476731, 137438953447

Offset: 1

Jud McCranie

nonn

For n>1 largest prime factor of the denominator of A027611(2^n) = 2^n*(2^n)-th harmonic number. - Alexander Adamchuk, Aug 02 2006

D. E. Knuth, The Art of Computer Programming. Addison-Wesley, Reading, MA, Vol. 2, p. 390.

T. D. Noe, Table of n, a(n) for n=1..1000
Fred Curtis, C++ program for A014234
Harry J. Smith, PrimePi2 - Computes the Prime Pi(x) counting function [Broken link]
Harry J. Smith, PrimePi2 - Computes the Prime Pi(x) counting function [Cached copy]

Cf. A000079, A014210.
Cf. A013603 (2^n - a(n)).
See comment for the relationship to A027611.
These primes have indices A007053 = number of primes <= 2^n.
The opposite is A104080, delta A092131, indices A372684.
For squarefree instead of prime we have A372889, indices A143658.
A036378 counts primes between powers of 2, A293697 adds them up.
Cf. A035100, A130739, A211997.

a:= n-> prevprime(2^n+1):
seq(a(n), n=1..40);  # Alois P. Heinz, Apr 23 2020

PrevPrim[n_] := Block[{k = n - 1}, While[ !PrimeQ[k], k-- ]; k]; Table[ Abs[ PrevPrim[2^n]], {n, 1, 30} ]
Join[{2},NextPrime[2^Range[2,40],-1]] (* Harvey P. Dale, Jun 26 2011 *)

a(n) = precprime(2^n) \\ Michel Marcus, Aug 08 2013

Terms for n=31, n=32 added by Fred Curtis (fred(AT)f2.org), Dec 08 2009

A013597 a(n) = nextprime(2^n) - 2^n.

Original entry on oeis.org

1, 1, 1, 3, 1, 5, 3, 3, 1, 9, 7, 5, 3, 17, 27, 3, 1, 29, 3, 21, 7, 17, 15, 9, 43, 35, 15, 29, 3, 11, 3, 11, 15, 17, 25, 53, 31, 9, 7, 23, 15, 27, 15, 29, 7, 59, 15, 5, 21, 69, 55, 21, 21, 5, 159, 3, 81, 9, 69, 131, 33, 15, 135, 29, 13, 131, 9, 3, 33, 29, 25, 11, 15, 29

Offset: 0

James Kilfiger (mapdn(AT)csv.warwick.ac.uk)

nonn

A013597 and A092131 use different definitions of "nextprime(2)", namely A151800 vs A007918: A013597 assumes nextprime(2) = 3 = A151800(2), whereas A092131 assumes nextprime(2) = 2 = A007918(n). [Edited by M. F. Hasler, Sep 09 2015]
If (for n>0) a(n)=1, then n is a power of 2 and 2^n+1 is a Fermat prime. n=1,2,4,8,16 are probably the only indices with this property. - Franz Vrabec, Sep 27 2005
Conjecture: there are no Sierpiński numbers in the sequence. See A076336. - Thomas Ordowski, Aug 13 2017

T. D. Noe, Table of n, a(n) for n = 0..5000
V. Danilov, Table for large n

Cf. A014210, A092131, A007918, A151800.

A013597 := proc(n)
    nextprime(2^n)-2^n ;
end proc:
seq(A013597(n),n=0..40) ;

Table[NextPrime[#] - # &[2^n], {n, 0, 73}] (* Michael De Vlieger, Aug 15 2017 *)

a(n) = nextprime(2^n+1) - 2^n; \\ Michel Marcus, Nov 06 2015

from sympy import nextprime
def A013597(n): return nextprime(m:=1<Chai Wah Wu, Dec 02 2024

a(n) = A151800(2^n) - 2^n = A013632(2^n). - R. J. Mathar, Nov 28 2016

Conjecture: a(n) < n^2/2 for n > 1. - Thomas Ordowski, Aug 13 2017

A104080 Smallest prime >= 2^n.

Original entry on oeis.org

2, 2, 5, 11, 17, 37, 67, 131, 257, 521, 1031, 2053, 4099, 8209, 16411, 32771, 65537, 131101, 262147, 524309, 1048583, 2097169, 4194319, 8388617, 16777259, 33554467, 67108879, 134217757, 268435459, 536870923, 1073741827, 2147483659

Offset: 0

Cino Hilliard, Mar 03 2005

Jinyuan Wang, Table of n, a(n) for n = 0..1000

Cf. A104081, A338475.
Except initial terms and offset, same as A014210 and A203074.
The opposite (greatest prime <= 2^n) is A014234, indices A007053.
The distance from 2^n is A092131, opposite A013603.
Counting zeros instead of both bits gives A372474, cf. A035103, A211997.
Counting ones instead of both bits gives A372517, cf. A014499, A061712.
For squarefree instead of prime we have A372683, cf. A143658, A372540.
The indices of these prime are given by A372684.
Cf. A007918, A007920, A029837, A035100, A049095, A130739.

Join[{2,2},NextPrime[#]&/@(2^Range[2,40])]  (* Harvey P. Dale, Jan 26 2011 *)
NextPrime[2^Range[0,50]-1]  (* Vladimir Joseph Stephan Orlovsky, Apr 11 2011 *)

g(n,b=2) = for(x=0,n,print1(nextprime(b^x)","))

a(n) = nextprime(2^n); \\ Michel Marcus, Nov 01 2020

a(n) = A014210(n), n <> 1. - R. J. Mathar, Oct 14 2008
Sum_{n >= 0} 1/a(n) = A338475 + 1/6 = 1.4070738... (because 1/6 = 1/2 - 1/3). - Bernard Schott, Nov 01 2020
From Gus Wiseman, Jun 03 2024: (Start)
a(n) = A007918(2^n).
a(n) = 2^n + A092131(n).
a(n) = prime(A372684(n)).
(End)

A077643 Number of squarefree integers in closed interval [2^n, -1 + 2*2^n], i.e., among 2^n consecutive numbers beginning with 2^n.

Original entry on oeis.org

1, 2, 3, 5, 9, 19, 39, 79, 157, 310, 621, 1246, 2491, 4980, 9958, 19924, 39844, 79672, 159365, 318736, 637457, 1274916, 2549816, 5099651, 10199363, 20398663, 40797299, 81594571, 163189087, 326378438, 652756861, 1305513511, 2611026987, 5222053970, 10444108084

Offset: 0

Labos Elemer, Nov 14 2002

nonn

Number of squarefree numbers with binary expansion of length n, or with n bits. The sum of these numbers is given by A373123. - Gus Wiseman, Jun 02 2024

			For n=4: among the 16 numbers of {16, ..., 31}, nine are squarefree [17, 19, 21, 22, 23, 26, 29, 30, 31], so a(4) = 9.

Amiram Eldar, Table of n, a(n) for n = 0..63 (calculated from the b-file at A143658)

Cf. A077641, A077642.
Partial sums (except first term) are A143658.
Run-lengths of A372475.
The minimum is A372683, delta A373125, indices A372540.
The maximum is A372889 (except at n=1), delta A373126, indices A143658.
Row-sums are A373123.
A005117 lists squarefree numbers, first differences A076259.
A053797 gives nonempty lengths of exclusive gaps between squarefree numbers.
A029837 counts bits, row-lengths of A030190 and A030308.
For primes between powers of 2:
- sum A293697
- length A036378 or A162145
- min A104080 or A014210, delta A092131, indices A372684
- max A014234, delta A013603, indices A007053
For squarefree numbers between primes:
- sum A373197
- length A373198 = A061398 - 1
- min A000040
- max A112925 (delta A240473), opposite A112926 (delta A240474)
Cf. A010036, A029931, A035100, A049093-A049096, A372473 (firsts of A372472), A372541 (firsts of A372433).

Table[Apply[Plus, Table[Abs[MoebiusMu[2^w+j]], {j, 0, 2^w-1}]], {w, 0, 15}]
(* second program *)
Length/@Split[IntegerLength[Select[Range[10000],SquareFreeQ],2]]//Most (* Gus Wiseman, Jun 02 2024 *)

{ a(n) = sum(m=1,sqrtint(2^(n+1)-1), moebius(m) * ((2^(n+1)-1)\m^2 - (2^n-1)\m^2) ) } \\ Max Alekseyev, Oct 18 2008

a(n) = Sum_{j=0..-1+2^n} abs(mu(2^n + j)).

a(n)/2^n approaches 1/zeta(2), so limiting sequence is floor(2^n/zeta(2)), n >= 0. - Wouter Meeussen, May 25 2003

More terms from Mark Hudson (mrmarkhudson(AT)hotmail.com), Feb 12 2003
More terms from Wouter Meeussen, May 25 2003
a(25)-a(32) from Max Alekseyev, Oct 18 2008
a(33)-a(34) from Amiram Eldar, Jul 17 2024

A013603 Difference between 2^n and the nearest prime less than or equal to 2^n.

Original entry on oeis.org

0, 1, 1, 3, 1, 3, 1, 5, 3, 3, 9, 3, 1, 3, 19, 15, 1, 5, 1, 3, 9, 3, 15, 3, 39, 5, 39, 57, 3, 35, 1, 5, 9, 41, 31, 5, 25, 45, 7, 87, 21, 11, 57, 17, 55, 21, 115, 59, 81, 27, 129, 47, 111, 33, 55, 5, 13, 27, 55, 93, 1, 57, 25, 59, 49, 5, 19, 23, 19, 35, 231, 93, 69, 35, 97, 15

Offset: 1

James Kilfiger (mapdn(AT)csv.warwick.ac.uk)

nonn

If a(n) = 1, then n is prime and 2^n - 1 is a Mersenne prime. - Franz Vrabec, Sep 27 2005
Using the first variant A007917 (rather than A151799) of the prevprime() function, the sequence is well defined for n = 1, with a(1) = 2^1 - prevprime(2^1) = 2 - 2 = 0. - M. F. Hasler, Sep 09 2015
In Mathematica, one can use NextPrime with a second argument of -1 to obtain the next smaller prime. As almost all the powers of 2 are composite, this produces the proper results for most of this sequence. However, NextPrime[2, -1] returns -2 rather than the expected 2, which would consequently mean a(1) = 4 rather than 0. - Alonso del Arte, Dec 10 2016

T. D. Noe, Table of n, a(n) for n = 1..5000 (corrected by Sean A. Irvine, Jan 18 2019)
V. Danilov, Table for large n.
Corbin Simpson, 2^255 - 19 and Elliptic Curve Cryptography (MegaFavNumbers), Youtube video (2020).

Cf. A013597, A014234, A049711, A007917, A151799.

Equivalent sequence for next prime: A092131.

Maple
```
seq(2^i-prevprime(2^i),i=2..100);
```

{0} ~Join~ Array[With[{c = 2^#}, c - NextPrime[c, -1]] &, 80, 2] (* Harvey P. Dale, Jul 23 2013 *)
Table[2^n - Prime[PrimePi[2^n]], {n, 80}] (* Alonso del Arte, Dec 10 2016 *)

a(n) = 2^n - precprime(2^n); \\ Michel Marcus, Apr 04 2020

a(n) = A049711(2^n). - R. J. Mathar, Nov 28 2016

a(n) = 2^n - prevprime(2^n) = 2^n - prime(primepi(2^n)). - Alonso del Arte, Dec 10 2016

Extended to a(1) = 0 by M. F. Hasler, Sep 09 2015

A293697 a(n) is the sum of prime numbers between 2^n+1 and 2^(n+1).

Original entry on oeis.org

2, 3, 12, 24, 119, 341, 1219, 4361, 16467, 57641, 208987, 780915, 2838550, 10676000, 39472122, 148231324, 559305605, 2106222351, 7995067942, 30299372141, 115430379568, 440354051430, 1683364991290, 6448757014608, 24754017328490, 95132828618112, 366232755206338

Offset: 0

Olivier Gérard, Oct 15 2017

nonn

			From _Gus Wiseman_, Jun 02 2024: (Start)
Row-sums of:
   2
   3
   5   7
  11  13
  17  19  23  29  31
  37  41  43  47  53  59  61
  67  71  73  79  83  89  97 101 103 107 109 113 127
(End)

Cf. A036378 (number of primes summed).
Cf. A293696 (triangle of partial sums).
Minimum is A014210 or A104080, indices A372684.
Maximum is A014234, delta A013603.
Counting all numbers (not just prime) gives A049775.
For squarefree instead of prime numbers we have A373123, length A077643.
For prime indices we have A373124.
Partial sums give A130739(n+1).
Cf. A000040, A001223, A029931, A035100, A046933, A061398, A092131.

Table[Plus @@
  Table[Prime[i], {i, PrimePi[2^(n)] + 1, PrimePi[2^(n + 1)]}], {n, 0,
   24}]

A372684 Least k such that prime(k) >= 2^n.

Original entry on oeis.org

1, 3, 5, 7, 12, 19, 32, 55, 98, 173, 310, 565, 1029, 1901, 3513, 6543, 12252, 23001, 43391, 82026, 155612, 295948, 564164, 1077872, 2063690, 3957810, 7603554, 14630844, 28192751, 54400029, 105097566, 203280222, 393615807, 762939112, 1480206280, 2874398516, 5586502349

Offset: 1

Gus Wiseman, May 30 2024

nonn

			The numbers prime(a(n)) together with their binary expansions and binary indices begin:
        2:                       10 ~ {2}
        5:                      101 ~ {1,3}
       11:                     1011 ~ {1,2,4}
       17:                    10001 ~ {1,5}
       37:                   100101 ~ {1,3,6}
       67:                  1000011 ~ {1,2,7}
      131:                 10000011 ~ {1,2,8}
      257:                100000001 ~ {1,9}
      521:               1000001001 ~ {1,4,10}
     1031:              10000000111 ~ {1,2,3,11}
     2053:             100000000101 ~ {1,3,12}
     4099:            1000000000011 ~ {1,2,13}
     8209:           10000000010001 ~ {1,5,14}
    16411:          100000000011011 ~ {1,2,4,5,15}
    32771:         1000000000000011 ~ {1,2,16}
    65537:        10000000000000001 ~ {1,17}
   131101:       100000000000011101 ~ {1,3,4,5,18}
   262147:      1000000000000000011 ~ {1,2,19}
   524309:     10000000000000010101 ~ {1,3,5,20}
  1048583:    100000000000000000111 ~ {1,2,3,21}
  2097169:   1000000000000000010001 ~ {1,5,22}
  4194319:  10000000000000000001111 ~ {1,2,3,4,23}
  8388617: 100000000000000000001001 ~ {1,4,24}

The opposite (greatest k such that prime(k) <= 2^n) is A007053.
Positions of first appearances in A035100.
The distance from prime(a(n)) to 2^n is A092131.
Counting zeros instead of all bits gives A372474, firsts of A035103.
Counting ones instead of all bits gives A372517, firsts of A014499.
For primes between powers of 2:
- sum A293697
- length A036378
- min A104080 or A014210
- max A014234, delta A013603
For squarefree numbers between powers of 2:
- sum A373123
- length A077643, run-lengths of A372475
- min A372683, delta A373125, indices A372540
- max A372889, delta A373126, indices A143658
For squarefree numbers between primes:
- sum A373197
- length A373198 = A061398 - 1
- min A000040
- max A112925, opposite A112926
Cf. A000120, A029837, A029931, A030190, A049095, A069010, A070939, A077641, A080791, A211997.

Table[PrimePi[If[n==1,2,NextPrime[2^n]]],{n,30}]

a(n) = primepi(nextprime(2^n)); \\ Michel Marcus, May 31 2024

a(n>1) = A007053(n) + 1.
a(n) = A000720(A104080(n)).
prime(a(n)) = A104080(n).
prime(a(n)) - 2^n = A092131(n).

More terms from Michel Marcus, May 31 2024

A373125 Difference between 2^n and the least squarefree number >= 2^n.

Original entry on oeis.org

0, 0, 1, 2, 1, 1, 1, 1, 1, 2, 3, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 2, 3, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 2, 3, 3, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 1, 1, 1, 1, 1

Offset: 0

Gus Wiseman, May 28 2024

nonn

For prime instead of squarefree we have A092131, opposite A013603.
For primes instead of powers of 2: A240474, A240473, A112926, A112925.
Difference between 2^n and A372683(n).
The opposite is A373126, delta of A372889.
A005117 lists squarefree numbers, first differences A076259.
A053797 gives lengths of gaps between squarefree numbers.
A061398 counts squarefree numbers between primes (exclusive).
A070939 or (preferably) A029837 gives length of binary expansion.
A077643 counts squarefree terms between powers of 2, run-lengths of A372475.
A143658 counts squarefree numbers up to 2^n.
Cf. A372473 (firsts of A372472), A372541 (firsts of A372433).
For primes between powers of 2:
- sum A293697 (except initial terms)
- length A036378
- min A104080 or A014210, indices A372684 (firsts of A035100)
- max A014234, delta A013603
Cf. A010036, A029931, A049093-A049096, A077641, A372540, A373197, A373198.

Table[NestWhile[#+1&,2^n,!SquareFreeQ[#]&]-2^n,{n,0,100}]

a(n) = A372683(n)-2^n. - R. J. Mathar, May 31 2024

A373126 Difference between 2^n and the greatest squarefree number <= 2^n.

Original entry on oeis.org

0, 0, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 3, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 2, 1, 1

Offset: 0

Gus Wiseman, May 29 2024

nonn

			The greatest squarefree number <= 2^21 is 2097149, and 2^21 = 2097152, so a(21) = 3.

For prime instead of squarefree we have A013603, opposite A092131.
For primes instead of powers of 2: A240474, A240473, A112926, A112925.
Difference between 2^n and A372889.
The opposite is A373125, delta of A372683.
A005117 lists squarefree numbers, first differences A076259.
A053797 gives lengths of gaps between squarefree numbers.
A061398 counts squarefree numbers between primes (exclusive).
A070939 or (preferably) A029837 gives length of binary expansion.
A077643 counts squarefree terms between powers of 2, run-lengths of A372475.
A143658 counts squarefree numbers up to 2^n.
Cf. A372473 (firsts of A372472), A372541 (firsts of A372433).
For primes between powers of 2:
- sum A293697 (except initial terms)
- length A036378
- min A104080 or A014210, indices A372684 (firsts of A035100)
- max A014234
Cf. A010036, A029931, A046933, A049093-A049096, A077641, A372540, A373197.

Table[2^n-NestWhile[#-1&,2^n,!SquareFreeQ[#]&],{n,0,100}]

a(n) = 2^n-A372889(n). - R. J. Mathar, May 31 2024

A264050 a(n) = least m > 1 such that m + 2^n is prime.

Original entry on oeis.org

3, 3, 3, 3, 5, 3, 3, 7, 9, 7, 5, 3, 17, 27, 3, 3, 29, 3, 21, 7, 17, 15, 9, 43, 35, 15, 29, 3, 11, 3, 11, 15, 17, 25, 53, 31, 9, 7, 23, 15, 27, 15, 29, 7, 59, 15, 5, 21, 69, 55, 21, 21, 5, 159, 3, 81, 9, 69, 131, 33, 15, 135, 29, 13, 131, 9, 3, 33, 29, 25, 11, 15, 29, 37, 33

Offset: 1

Alexei Kourbatov, Nov 02 2015

nonn

The definition is similar to Fortunate numbers (A005235) but uses 2^n instead of primorial A002110(n).
Terms a(n) are often but not always prime; sometimes they are prime powers or semiprimes or have a more general form.
An analog of Fortune's conjecture for this sequence would be "a(n) is either a prime power or a semiprime." But even this relaxed conjecture is disproved by, e.g., a(62)=135, a(93)=a(97)=105, a(99)=255.
By definition, a(n) >= A013597(n). The integers n such that a(n) > A013597(n) are those with A013597(n)=1, i.e., 1, 2, 4, 8, 16, and then? - Michel Marcus, Nov 06 2015

			a(56)=81 because m=81 is the least m > 1 such that m + 2^56 is prime.

Charles R Greathouse IV, Table of n, a(n) for n = 1..2000

Cf. A005235, A013597, A092131, A263925.

Table[m = 2; While[! PrimeQ[m + 2^n], m++]; m, {n, 75}] (* Michael De Vlieger, Nov 06 2015 *)

a(n)=my(m=2);while(!isprime(m+2^n),m++);m \\ Anders Hellström, Nov 02 2015

a(n)=nextprime(2^n+2)-2^n \\ Charles R Greathouse IV, Nov 02 2015

a(60) corrected by Charles R Greathouse IV, Nov 02 2015

cp's OEIS Frontend

A014234 Largest prime <= 2^n.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Extensions

A013597 a(n) = nextprime(2^n) - 2^n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Python

Formula

A104080 Smallest prime >= 2^n.

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

A077643 Number of squarefree integers in closed interval [2^n, -1 + 2*2^n], i.e., among 2^n consecutive numbers beginning with 2^n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A013603 Difference between 2^n and the nearest prime less than or equal to 2^n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A293697 a(n) is the sum of prime numbers between 2^n+1 and 2^(n+1).

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

A372684 Least k such that prime(k) >= 2^n.

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica