20

I have been investigating the primality of the sequence f(n)=71n70 for n>1 . Preliminary computational tests using the Miller-Rabin primality test show no primes for n5000.

The sequence seems to be "protected" by a dense system of congruences. For instance:

If n0(mod2) then 3|f(n).

If n3(mod5) then 11|f(n).

If n0(mod11) then 23|f(n).

If n6(mod15) then 31|f(n).

If n7(mod9) then 37|f(n).

If n9(mod40) then 41|f(n).

Given that a=71 is a prime of the form 30k+11 , it appears to be an exceptionally "resistant" base, similar to Sierpinski numbers or Riesel numbers, but for the an(a1) construction. My questions are:

Is there a known covering system for a=71 that proves 71n70 is always composite?

Is a=71 the smallest prime base for which no primes have been found in this type of sequence for n<5000 ?

Are there any known primality results for this specific sequence in larger ranges?

CC BY-SA 4.0
4
  • 3
    Welcome to MSE. Why did you use MathJax within the body of your post, but not within its title? Commented Mar 17 at 10:05
  • 4
    Interesting (+1). For n{15,17} the factorings are {227×25873154006103494950957403,5843×3456637×1465892988481794635831}, so "small" covering systems seem unlikely. Commented Mar 17 at 10:30
  • 5
    On this site I found that 10n+1 is not known, see here. So perhaps it is not known? Commented Mar 17 at 10:31
  • Are the congruences really that dense? If I calculated correctly, 311 of the possible n values still potentially give primes. Commented Mar 17 at 15:59

1 Answer 1

13

I think you made a mistake when testing n5000.

I unsuccessfully tried to find a covering set, but used that effort to sieve possible primes.
Then I found that 71301970 is prime.
https://factordb.com/index.php?query=71%5E3019-70

Edit: Bonus:
711971970
https://factordb.com/index.php?query=71%5E19719-70

CC BY-SA 4.0

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.