## You are here

HomeSierpi\'nski conjecture

## Primary tabs

# Sierpiński conjecture

In 1960 Wacław Sierpiński (1882-1969) proved the following interesting result:

Theorem: There exist infinitely many odd integers $k$ such that $k2^{n}+1$ is composite for every integer $n\geq 1$.

A multiplier $k$ with this property is called a Sierpiński number. The Sierpiński problem consists in determining the smallest Sierpiński number. In 1962, John Selfridge discovered the Sierpiński number $k=78557$, which is now believed to be in fact the smallest such number.

Conjecture: The integer $k=78557$ is the smallest Sierpiński number.

To prove the conjecture, it would be sufficient to exhibit a prime $k2^{n}+1$ for each $k<78557$.

Synonym:

Sierpinski conjecture

Type of Math Object:

Conjecture

Major Section:

Reference

Groups audience:

## Mathematics Subject Classification

11B83*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

Apr 22

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

## Corrections

classification by rspuzio ✓

broken by drini ✓

page image mode by yark ✘

not viewable by yark ✓

Alternate spelling by rm50 ✓

broken by drini ✓

page image mode by yark ✘

not viewable by yark ✓

Alternate spelling by rm50 ✓

## Comments

## Other "Sierpinski conjectures"

There is a variant of the ErdÃ¶s-Straus conjecture also referred to as "Sierpinski conjecture", namely: For all n>1, 5/n can be written as sum of 3 unit fractions ; published by W.S. in 1956 (cf. Wikipedia and http://mathworld.wolfram.com/EgyptianFraction.html).

See also http://mathworld.wolfram.com/SierpinskisConjecture.html for yet another "Sierpinski's conjecture".