login
This site is supported by donations to The OEIS Foundation.
Logo

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A145731 Integers n such that for all prime numbers p > 7 there there exists an n for which A144912(2, p^n) = 0 iff 2^p - 1 is composite. 0
4, 10, 19, 23, 24, 25, 27, 28, 30, 31, 32, 33, 34, 42, 48, 51, 52, 53, 55, 59, 60, 61, 62, 68, 69, 71, 72, 74, 75, 76, 77, 78, 79, 80, 81, 82, 84, 85, 86, 91, 92, 93, 95, 96, 98, 99, 100, 101, 102, 103, 104, 105, 106, 109, 110, 112, 113, 115, 116, 117, 118, 119, 120, 121 (list; graph; refs; listen; history; internal format)
OFFSET

1,1

COMMENTS

An integer n is excluded from the sequence iff A144912(2, p^n) = 0 for some Mersenne prime exponent p > 7.

The given terms are sufficient to identify the Mersenne prime exponents 13, 17, 19 and 31 without error, followed by the incorrect 41 and 59, correct 61, incorrect 71 and correct 89. Additional terms quickly reduce the number of false positives such that, for example, the first thirty Mersenne primes can be identified within minutes using unexceptional software and hardware and, in particular, without primality testing of integers larger than 132049.

Noting that A144912(2, k) is a function of k in base 2, it is expected that extremely efficient methods can be found for producing Mersenne primes and perfect numbers within seconds.

CROSSREFS

Cf. A000040, A000043, A000396, A000668

Sequence in context: A063591 A009912 A073262 * A162958 A029714 A062198

Adjacent sequences:  A145728 A145729 A145730 * A145732 A145733 A145734

KEYWORD

easy,nonn

AUTHOR

Reikku Kulon (reikku(AT)gmail.com), Oct 17 2008

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
Recent Additions | More pages | Superseeker | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement .

Last modified February 17 08:40 EST 2012. Contains 205998 sequences.