Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A145731
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
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
1
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; listen)
OFFSET

1,1

COMMENT

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 this_sequence A162958 A029714 A062198

Adjacent sequences: A145728 A145729 A145730 this_sequence A145732 A145733 A145734

KEYWORD

easy,nonn

AUTHOR

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

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified December 5 08:23 EST 2009. Contains 170348 sequences.


AT&T Labs Research