Smallest prime ≡ 1 pmod n
"Conjecture: a(n) < n^2 for n > 1. - _Thomas Ordowski_, Dec 19 2016"
Conjectures stated in OEIS entries — that a sequence is infinite, that a formula holds for all n, that some search never ends — formalised in Lean by Formal Conjectures. Many can be tested by computing more terms, and a counterexample is a checkable certificate.
Source: The On-Line Encyclopedia of Integer Sequences. Licence: Lean statements from Formal Conjectures (Apache 2.0).
"Conjecture: a(n) < n^2 for n > 1. - _Thomas Ordowski_, Dec 19 2016"
Conjecture: There are infinitely many composite numbers n such that a(n) is nonzero.
What is the smallest integer m > 1 such that a(10^m) is nonzero? - _Farideh Firoozbakht_, Jan 07 2015
Conjecture: a(n) > 0 for all n.
At present, the 0 entry for n = 5 is only a conjecture. That is, it is conjectured that there is no positive integer x such that σ_1(x) bmod x = 5.
We conjecture that a(n) > 0 for all n > 15.
Conjecture: 21 is the only positive integer n such that a(n) = n.
The first 5 entries are primes. Are there infinitely many primes in this sequence?
Zhi-Wei Sun's Conjecture (A281976): Any integer n ≥ 0 can be written as x^2 + y^2 + z^2 + w^2 with x, y, z, w nonnegative integers and z ≤ w, such that both x and x + 24y are squares.
The only positive integer n such that a(n) is a perfect square is n=38. - Carlos Eduardo Olivieri, Mar 09 2015
Conjecture: For each k = 2,3,..., all the rational numbers σ_k(n)/n^k = Σ_d|n 1/d^k (n = 1,2,3,...) have pairwise distinct fractional parts. - Zhi-Wei Sun, Oct 15 2015
Primes in this sequence include: a(8) = 2, which is next?
The conjecture for sequence A231201: for any n > 1, there exist x, y > 0 such that n = x + y and 2^x + y is prime.
Zhi-Wei Sun's Conjecture (A303656): Any integer n > 1 can be written as the sum of two squares, a power of 3, and a power of 5.
Conjecture: a(n) > 0 for all n > 0.
Conjecture (i): For any m ∈ 3, 4, 5, 6 and n ≥ 0, there are nonnegative integers w, x, y, z such that n = w^2 + x^3 + 2y^3 + mz^3.
Conjecture (i): Any positive integer can be written as w(w+1)/2 + x^3 + by^3 + cz^3 with w > 0 and x, y, z ≥ 0, provided that (b, c) ∈ (1,2), (1,3), (1,4), (1,6), (2,2), (2,3), (2,4), (2,5), (2,6), (2,7), (2,20), (2,21), (2,34), (3,3), (3,4), (3,5), (3,6), (4,10).
Zhi-Wei Sun's 1680-Conjecture (A280831): Any nonnegative integer can be written as x^2 + y^2 + z^2 + w^2 with x, y, z, w nonnegative integers such that x^4 + 1680 y^3 z is a square.
Conjectured to be a permutation of the positive integers.
Conjecture from Thomas Ordowski (2023): log log a(n+1) - log log a(n) < 1/n for n > 0.
103 is conjectured to be the smallest number such that the Reverse and Add! algorithm in base 3 does not lead to a palindrome. Its trajectory is conjectured to never reach a palindrome.
It is conjectured that this trajectory does not close on itself.
Terms are squares at only(?) three values of n = 3, 6, 4072: corresponding terms are 6^2, 13^2, and 15735^2.
Conjecture (i): a(n) > 0 for all n > 2.
OEIS A331631 states: The sequence is conjectured to be a permutation of the positive integers (see the Crossrefs section).
Is the score a(n) > 0 for some n > 250000?
Conjecture: There is always one such k for each n > 0 such that (3^n - k) 2^n - 1 and (3^n - k) 2^n + 1 are a twin prime pair.
Conjecture: a(n) > 0 for all n > 5 with n not equal to 13.
a(28341) is divisible by 283411^2. What is the next n such that a(n) is not squarefree?
Conjecture (i): a(n) > 0 for all n > 3.
OEIS A181391 conjectures: "every number eventually appears."
It is conjectured that a(n) is always positive (Conjecture 1.1 of Sun (2009)).
Conjecture: a(n) > 0 for all n > 1.
Conjecture: a(n) > 0 for all n > 5.
Conjecture: a(n) > 0 for all n > 1.
Conjecture (i), part 1: a(n) > 0 for all n > 2.
Conjecture: For any positive integer m, every nonnegative integer n can be written as ⌊ T(x)/m ⌋ + ⌊ T(y)/m ⌋ + ⌊ T(z)/m ⌋ with x, y, z nonnegative integers.
Conjecture: for n > 3, gcd(n, a(n-1)) = A089026(n). - Amiram Eldar and Thomas Ordowski, Jul 28 2019