AN EQUATION INVOLVING ARITHMETIC FUNCTIONS AND RIESEL NUMBERS

Similar documents
Perfect Power Riesel Numbers

POLYGONAL-SIERPIŃSKI-RIESEL SEQUENCES WITH TERMS HAVING AT LEAST TWO DISTINCT PRIME DIVISORS

Marcos J. González Departamento de Matemáticas Puras y Aplicadas, Universidad Simón Bolívar, Sartenejas, Caracas, Venezuela

#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC

Journal of Number Theory

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

Chris K. Caldwell 1 Department of Mathematics and Statistics, University of Tennessee at Martin, Martin, TN 38238, USA

Appending Digits to Generate an Infinite Sequence of Composite Numbers

Partial Sums of Powers of Prime Factors

M381 Number Theory 2004 Page 1

2.3 In modular arithmetic, all arithmetic operations are performed modulo some integer.

EXTENDING A THEOREM OF PILLAI TO QUADRATIC SEQUENCES

We only consider r finite. P. Erdős, On integers of the form 2 k +p and some related problems, Summa Brasil. Math. 2 (1950),

#A42 INTEGERS 10 (2010), ON THE ITERATION OF A FUNCTION RELATED TO EULER S

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

Notes on Systems of Linear Congruences

Number Theory. CSS322: Security and Cryptography. Sirindhorn International Institute of Technology Thammasat University CSS322. Number Theory.

Wednesday, February 21. Today we will begin Course Notes Chapter 5 (Number Theory).

MATH 361: NUMBER THEORY FOURTH LECTURE

Part II. Number Theory. Year

Representing Integers as the Sum of Two Squares in the Ring Z n

Solutions to Problem Set 3 - Fall 2008 Due Tuesday, Sep. 30 at 1:00

LEGENDRE S THEOREM, LEGRANGE S DESCENT

Equidivisible consecutive integers

Representing numbers as the sum of squares and powers in the ring Z n

Sierpiński and Carmichael numbers

Fermat numbers and integers of the form a k + a l + p α

A RESULT ON RAMANUJAN-LIKE CONGRUENCE PROPERTIES OF THE RESTRICTED PARTITION FUNCTION p(n, m) ACROSS BOTH VARIABLES

SQUARE PATTERNS AND INFINITUDE OF PRIMES

Chapter 9 Mathematics of Cryptography Part III: Primes and Related Congruence Equations

LECTURE 4: CHINESE REMAINDER THEOREM AND MULTIPLICATIVE FUNCTIONS

Covering Subsets of the Integers and a Result on Digits of Fibonacci Numbers

MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions

Flat primes and thin primes

ON NEAR RELATIVE PRIME NUMBER IN A SEQUENCE OF POSITIVE INTEGERS. Jyhmin Kuo and Hung-Lin Fu

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

MTH 346: The Chinese Remainder Theorem

Homework #2 solutions Due: June 15, 2012

Tomáš Madaras Congruence classes

On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations

SOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have

PMA225 Practice Exam questions and solutions Victor P. Snaith

On integers of the forms k ± 2 n and k2 n ± 1

This theorem allows us to describe all integer solutions as follows:

#A26 INTEGERS 10 (2010), ON CONGRUENCE CONDITIONS FOR PRIMALITY

Introduction to Number Theory

#A22 INTEGERS 17 (2017) NEW CONGRUENCES FOR `-REGULAR OVERPARTITIONS

Proof 1: Using only ch. 6 results. Since gcd(a, b) = 1, we have

A SURVEY OF PRIMALITY TESTS

Math 319 Problem Set #2 Solution 14 February 2002

THE NUMBER OF PRIME DIVISORS OF A PRODUCT

ARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER

[Part 2] Asymmetric-Key Encipherment. Chapter 9. Mathematics of Cryptography. Objectives. Contents. Objectives

The Chinese Remainder Theorem

Analytic. Number Theory. Exploring the Anatomy of Integers. Jean-Marie. De Koninck. Florian Luca. ffk li? Graduate Studies.

Arithmetic Properties of Partition k-tuples with Odd Parts Distinct

arxiv: v1 [math.nt] 22 Jun 2017

Proof of Infinite Number of Triplet Primes. Stephen Marshall. 28 May Abstract

MATH 310: Homework 7

COMP239: Mathematics for Computer Science II. Prof. Chadi Assi EV7.635

The Composite Two-Step

Chapter 8. Introduction to Number Theory

Outline. Some Review: Divisors. Common Divisors. Primes and Factors. b divides a (or b is a divisor of a) if a = mb for some m

Outline. AIT 682: Network and Systems Security. GCD and Euclid s Algorithm Modulo Arithmetic Modular Exponentiation Discrete Logarithms

198 VOLUME 46/47, NUMBER 3

Applied Cryptography and Computer Security CSE 664 Spring 2017

1 x i. i=1 EVEN NUMBERS RAFAEL ARCE-NAZARIO, FRANCIS N. CASTRO, AND RAÚL FIGUEROA

Number Theory. Modular Arithmetic

The security of RSA (part 1) The security of RSA (part 1)

A Variation of a Congruence of Subbarao for n = 2 α 5 β, α 0, β 0

THE CUBIC PUBLIC-KEY TRANSFORMATION*

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1

THE TRIANGULAR THEOREM OF THE PRIMES : BINARY QUADRATIC FORMS AND PRIMITIVE PYTHAGOREAN TRIPLES

Cryptography. Number Theory with AN INTRODUCTION TO. James S. Kraft. Lawrence C. Washington. CRC Press

Theory of Numbers Problems

Fadwa S. Abu Muriefah. ON THE DIOPHANTINE EQUATION x fc = y n

CIS 6930/4930 Computer and Network Security. Topic 5.1 Basic Number Theory -- Foundation of Public Key Cryptography

CSC 474 Network Security. Outline. GCD and Euclid s Algorithm. GCD and Euclid s Algorithm Modulo Arithmetic Modular Exponentiation Discrete Logarithms

Math From Scratch Lesson 20: The Chinese Remainder Theorem

Mathematics for Cryptography

ECEN 5022 Cryptography

Euler s ϕ function. Carl Pomerance Dartmouth College

PAlmetto Number Theory Series

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

Perfect Polynomials. modulo 2. Ugur Caner Cengiz. Lake Forest College. April 7, 2015

A NOTE ON AN ADDITIVE PROPERTY OF PRIMES

Number Theory A focused introduction

Number Theory and Group Theoryfor Public-Key Cryptography

#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz

On some inequalities between prime numbers

ON UNTOUCHABLE NUMBERS AND RELATED PROBLEMS

3 The fundamentals: Algorithms, the integers, and matrices

PYTHAGOREAN TRIPLES KEITH CONRAD

ENHANCING THE PERFORMANCE OF FACTORING ALGORITHMS

Mathematics 4: Number Theory Problem Sheet 3. Workshop 26 Oct 2012

Number Theory. Raj Jain. Washington University in St. Louis

Solving the general quadratic congruence. y 2 Δ (mod p),

Discrete Structures Lecture Primes and Greatest Common Divisor

A Curious Connection Between Fermat Numbers and Finite Groups

Math.3336: Discrete Mathematics. Primes and Greatest Common Divisors

Transcription:

#A88 INTEGERS 18 (2018) AN EQUATION INVOLVING ARITHMETIC FUNCTIONS AND RIESEL NUMBERS Joshua Harrington Department of Mathematics, Cedar Crest College, Allentown, Pennsylvania joshua.harrington@cedarcrest.edu Lenny Jones Shippensburg University, Shippensburg, Pennsylvania lkjone@ship.edu Received: 2/10/17, Revised: 6/4/18, Accepted: 10/18/18, Published: 10/26/18 Abstract Let a denote the generalized sum of divisors function. We prove that given any integers a, n, and s with a 0, n 1, and s 1, there exist infinitely many pairs (k, N) such that a(n) = k 2 n, where k is a Riesel number and N has exactly s distinct prime factors. In the case a = 1, we also show that additional conditions can be imposed to guarantee that N is square-free. 1. Introduction In 1960, Sierpiński [4] published an article that proved the existence of infinitely many odd integers k such that k 2 n +1 is composite for all positive integers n. Such numbers today are known as Sierpiński numbers. For Euler s totient function, it follows from the definition that if k is a Sierpiński number, then k 2 n 6= (q) for any prime q and any positive integer n. Very recently Gonzalez, Luca, and Huguet [2] published a proof of the following theorem. Theorem 1. For all integers n s 2 there exist infinitely many Sierpiński numbers k such that the equation 2 n k = (N) holds with some positive integer N having exactly s distinct prime factors. We note that if it is possible to loosen the restriction n s in Theorem 1, the best scenario would be the restriction n s 1. To see this, let q 1, q 2,..., q s 1 be distinct

INTEGERS: 18 (2018) 2 odd primes, let `0, `1,..., `s 1 be positive integers, and let N = Then 1 (N) = 2`0 1 q`i 1 i (q i 1). 2`0 q`1 1 q`2 2 q`s 1 s 1. Since each q i is odd, it follows that (N) 0 (mod 2 s 1 ). Thus, if 2 n k = (N) for some odd integer k, then n must be at least the number of distinct odd prime divisors of N. Predating Sierpiński s article, in 1956 Riesel [3] published an article that proved the existence of infinitely many odd integers k such that k 2 n 1 is composite for all positive integers n. Such numbers are known as Riesel numbers. Let a be the generalized sums of divisors function defined by a(n) = X d N d a. It follows from the definition that if k is a Riesel number, then k 2 n 6= 1 (q) for any prime q and any positive integer n. In this article we will prove an analogue of Theorem 1 for the equation 2 n k = a (N) where k is a Riesel number. In this new setting, the restriction n s in Theorem 1 is not required (see Theorem 6). We will also show that when a = 1 we can take N to be square-free (see Theorem 5). 2. Preliminary Results An important concept to the proofs in this paper, originally due to Erdos [1], is that of a covering system of the integers. A covering system of the integers (or covering) is a finite collection of congruences such that every integer satisfies at least one of the congruences in the collection. Chen [5] provided the following definition regarding covering systems. Definition 2. A covering system C = {r i (mod m i )} t is called a (2, 1)-primitive covering if C is a covering system and there exist distinct primes p 1, p 2,..., p t such that p i is a primitive prime divisor of 2 mi 1 for 1 apple i apple t. Throughout this article we will present a (2, 1)-primitive covering as a set of triples C = {(r i, m i, p i )} t where the r i (mod m i ) are the congruences of the covering system, and the p i are distinct primitive prime divisors of 2 mi 1. Though Chen s definition came long after Sierpiński and Riesel s articles, (2, 1)- primitive covering systems were instrumental in proving their results. In fact, Chen showed that if C is a (2, 1)-primitive covering such that every integer satisfies at

INTEGERS: 18 (2018) 3 least M congruences of C, then there exist infinitely many Sierpiński numbers k such that k 2 n + 1 has at least M + 1 distinct prime factors for all positive integers n. Though not mentioned in his paper, Chen s result can easily be adjusted to prove the analogous result on Riesel numbers. To illustrate how (2, 1)-primitive coverings will be used in this article, we end this section with a proof of Riesel s result. Theorem 3. There exist infinitely many odd integers k such that k 2 n composite for all positive integers n. 1 is Proof. Let C = {(r i, m i, p i )} t be a (2, 1)-primitive covering. Notice that since p i is a prime divisor of 2 mi 1, if n r i (mod m i ), then 2 n 2 ri (mod p i ). Thus, for each 1 apple i apple t, choosing k so that k 2 ri 1 0 (mod p i ) guarantees that k 2 n 1 is divisible by p i. Since k needs to be odd, we add the condition that k 1 (mod 2). We note that infinitely many such k can be found using the Chinese remainder theorem since the definition of (2, 1)-primitive covering ensures that each p i is odd and distinct. Choosing k large enough ensures that for any n, k 2 n 1 6= p i for any 1 apple i apple t. Since every positive integer n satisfies some congruence in C, our choice of k guarantees that k 2 n 1 is composite for all positive integers n. We now illustrate the execution of this technique using the (2, 1)-primitive covering C = {(0, 2, 3), (1, 4, 5), (1, 3, 7), (11, 12, 13), (15, 18, 19), (27, 36, 37), (3, 9, 73)}. Notice that n 0 (mod 2), k 1 (mod 3) implies k 2 n 1 0 (mod 3); n 1 (mod 4), k 3 (mod 5) implies k 2 n 1 0 (mod 5); n 1 (mod 3), k 4 (mod 7) implies k 2 n 1 0 (mod 7); n 11 (mod 12), k 2 (mod 13) implies k 2 n 1 0 (mod 13); n 15 (mod 18), k 8 (mod 19) implies k 2 n 1 0 (mod 19); n 27 (mod 36), k 31 (mod 37) implies k 2 n 1 0 (mod 37); n 3 (mod 9), k 64 (mod 73) implies k 2 n 1 0 (mod 73). Thus, any k 140022313 (mod 2 3 5 7 13 19 37 73) will be a Riesel number. Definition 4. If a Riesel number k arises, as in the proof of Theorem 3, from the (2, 1)-primitive covering C, then we call k a C-Riesel number. Remark 1. Using the proof of Theorem 3, it follows that if apple is a C-Riesel number, then any integer k satisfying k apple (mod 2 p 1 p 2 p t ) is also a C-Riesel number.

INTEGERS: 18 (2018) 4 3. Main Results In this section we investigate the equation a (N) = k 2 n. Suppose k is an odd integer and let q 1, q 2,..., q s be distinct odd primes. If N = q 1 q 2 q s, then a(n) = Q s (qa i + 1). Since each q i is odd, it follows that a(n) 0 (mod 2 s ). Thus, if k is odd, N is square-free, and a (N) = k 2 n, then n must be at least the number of distinct prime divisors of N. Hence, the restriction n s is necessary in the following theorem. Theorem 5. Let C = {(r j, m j, p j )} t j=1 with 3 apple p 1 < p 2 < < p t be a (2, 1)- primitive covering and let apple be a C-Riesel number. For integers n s 2, if one of the conditions (i) p 1 5, (ii) p 1 = 3, apple 2 n 1 (mod 3) and s is even, or (iii) p 1 = 3, apple 2 n 2 (mod 3) and s is odd, holds, then there exist infinitely many pairs (k, N), where k is a C-Riesel number and N is a square-free odd positive integer with s distinct prime divisors, such that 1(N) = k 2 n. Proof. For each j with 1 apple j apple t, if p j 5 we let q 1, q 2,..., q s be primes satisfying (q i + 1) apple 2 n (mod p j ) in the following way. Suppose that s is even. If p j does not divide apple 2 n + 1, then we choose q 1 (apple 2 n + 1) (mod p j ) and for 2 apple i apple s we choose q i 2 (mod p j ). If p j does divide apple 2 n + 1, then it does not divide apple 2 n 1 + 1. In this case we choose q 1 (apple 2 n 1 + 1) (mod p j ), q 2 3 (mod p j ), and for 3 apple i apple s we choose q i 2 (mod p j ). Now suppose that s is odd. If p j does not divide apple 2 n 1, then we choose q 1 apple 2 n 1 (mod p j ) and for 2 apple i apple s we choose q i 2 (mod p j ). If p j does divide apple 2 n 1, then it does not divide apple 2 n 1 1. In this case we choose q 1 apple 2 n 1 1 (mod p j ), q 2 3 (mod p j ), and for 3 apple i apple s we choose q i 2 (mod p j ). If p 1 = 3, then also let q i 1 (mod 3) for 1 apple i apple s. Further, let q 1 2 n s+1 1 (mod 2 n s+2 ), (1) q i 1 (mod 4) for 2 apple i apple s. (2)

INTEGERS: 18 (2018) 5 Since the p j are distinct odd primes, the Chinese remainder theorem allows us to find positive integers q i satisfying each of the required conditions, and by Dirichlet s theorem on primes in an arithmetic progression, we may require additionally that each q i be prime. Now let N = q 1 q 2 q s. Notice that for each 1 apple j apple t, 1(N) = (q i + 1) apple 2 n (mod p j ). Furthermore, (1) and (2) guarantee that k = 1 (N)/2 n is an odd integer. Thus, k is an integer satisfying k apple (mod 2 p 1 p 2 p t ). By Remark 1, k is a C-Riesel number and 1 (N) = k 2 n, as desired. Let q 1, q 2,..., q s be distinct odd primes and let M = q 1 q 2 q s. If q i 2 (mod p) for each i and some prime p, then 1 (q i ) 1 (mod p) since 1 (q i ) = q i +1. Thus, 1(M) ( 1) s (mod p). This observation plays a crucial role in the proof of Theorem 5 and explains the need for (ii) and (iii) in the statement of the theorem. In the concluding remarks of this article we will present a totient function analogue of Theorem 5. We note here that if q i 2 (mod p) for each i and some prime p, then (q i ) 1 (mod p) since (q i ) = q i 1. Therefore, (M) 1 (mod p). This observation will allow us to ignore the parity of s in the totient function results at the end of this article. Example 1. Suppose n = s = 2. In the proof of Theorem 3 we proved that apple = 140022313 is a C-Riesel number for the (2, 1)-primitive covering C = {(0, 2, 3), (1, 4, 5), (1, 3, 7), (11, 12, 13), (15, 18, 19), (27, 36, 37), (3, 9, 73)}. Following the proof of Theorem 5 we select q 1 = 140415097 and q 2 =. Let N = q 1 q 2 = 324592574357937241 and let k = 81148144202504173. Then k is a C-Riesel number, and 1 (N) = k 2 n. Table 1 provides more examples for small values of n and s using the covering system C.

INTEGERS: 18 (2018) 6 n s q i k 2 2 140415097 231164353 81148144202504173 4 2 5044888231 728880518489280133 6 2 22067227807 763181053 263145159021367963 8 2 152449857151 1376612892776056093 3 3 619269913 189040213 33827427401861235921698623 5 3 3023664967 798574957 174431193937684642949939743 7 3 3512480863 110079253 6982874731886299575240433 4 4 701761261 5674085233 4876253181299890612056417864929223643 8476102633 6 4 6936333847 763181053 1084921275064059379558490666346206533 5674085233 5 5 81546697 798574957 226250176939959213459503006978362438695668263 5674085233 8476102633 7 5 2952077383 110079253 5674085233 8476102633 282253986164145432879309224321736867939712663 Table 1: Small values of n Notice that if q is an odd prime and ` is even, then a (q`) = 1+q a +q 2a + +q`a is odd. Thus, if we remove the square-free condition on N in Theorem 5, the restriction

INTEGERS: 18 (2018) 7 n s 2 may no longer be necessary. This observation leads us to the following theorem. Theorem 6. Let C be a (2, 1)-primitive covering. Let a, n, and s be integers with a 0, n 1, and s 1. There exist infinitely many pairs (k, N), where k is a C-Riesel number and N is an odd positive integer with s distinct prime divisors, such that a(n) = k 2 n. Proof. Let C = {(r i, m i, p i } t and let apple be a C-Riesel number. For each 1 apple j apple t, we let q 1, q 2,..., q s be primes and `1, `2,..., `s be positive integers satisfying 1 + q a i + q 2a i + + q`ia i apple 2 n (mod p j ) (3) in the following way. For 1 apple i apple s, let q i 1 (mod p j ) so that 1 + q a i + q 2a i + + q`ia i 1 + `i (mod p j ). Now let `1 apple 2 n 1 (mod p j ) and for 2 apple i apple s let `i 0 (mod p j ). These conditions then ensure that (3) holds. We now impose the following additional conditions: q i 1 (mod 2 n+1 ) for 1 apple i apple s, (4) `1 2 n 1 (mod 2 n+1 ), (5) `i 0 (mod 2 n+1 ) when 2 apple i apple s. (6) The Chinese remainder theorem guarantees the existence of q i and `i satisfying the mentioned conditions, and Dirichlet s theorem on primes in an arithmetic progression further allows us to require that each q i be prime. Now let N = q`1 1 q`2 2 q`s s. Then a(n) = Notice that (4), (5), and (6) ensure that and for 2 apple i apple s, 1 + q a i + q 2a i + + q`ia i. 1 + q a 1 + q 2a 1 + + q`1a 1 2 n (mod 2 n+1 ) 1 + q a i + q 2a i + + q`ia i 1 (mod 2 n+1 ) so that k = a (N)/2 n is an odd integer. Thus, k is an integer satisfying k apple (mod 2 p 1 p 2 p t ). By Remark 1, k is a C-Riesel number and a (N) = k 2 n, as desired.

INTEGERS: 18 (2018) 8 Explicit examples of (N, k) for Theorem 6 do not lend themselves as easily as those given after Theorem 5. The construction laid out in the proof of Theorem 6 requires each `i to be significantly large. Specifically, for 2 apple i apple s we need Q t `i j=1 p j. Thus, if we were to use the covering system C that was presented in the proof of Theorem 3, we would need each `i 70050435. This makes examples (N, k) far too large to give an explicit example in this article. 4. Concluding Remarks Techniques similar to those used in the proofs in this article can be used to prove the following theorems, which we state without proof. The following two theorems are the Sierpiński analogues of Theorems 5 and 6, respectively. Theorem 7. Let C = {(r j, m j, p j )} t j=1 with 3 apple p 1 < p 2 < < p t be a (2, 1)- primitive covering and let apple be a C-Sierpiński number. For integers n s 2, if one of the conditions (i) p 1 5, (ii) p 1 = 3, apple 2 n 1 (mod 3) and s is even, or (iii) p 1 = 3, apple 2 n 2 (mod 3) and s is odd, holds, then there exist infinitely many pairs (k, N), where k is a C-Sierpiński number and N is a square-free odd positive integer with s distinct prime divisors, such that 1(N) = k 2 n. Theorem 8. Let C be a (2, 1)-primitive covering. Let a, n, and s be integers with a 0, n 1, and s 1. There exist infinitely many pairs (k, N), where k is a C-Sierpiński number and N is an odd positive integer with s distinct prime divisors, such that a(n) = k 2 n. The next two theorems are totient function analogues of Theorems 5 and 6, respectively. Theorem 9. Let C = {(r j, m j, p j )} t j=1 with 3 apple p 1 < p 2 < < p t be a (2, 1)- primitive covering and let apple be a C-Riesel number. For integers n s 2, if one of the conditions (i) p 1 5 or (ii) p 1 = 3 and apple 2 n 1 (mod 3)

INTEGERS: 18 (2018) 9 holds, then there exist infinitely many pairs (k, N), where k is a C-Riesel number and N is a square-free positive integer with s distinct prime divisors, such that (N) = k 2 n. Theorem 10. Let C be a (2, 1)-primitive covering. For integers n s 2 there exist infinitely many pairs (k, N), where k is a C-Riesel number and N is a positive integer with s distinct prime divisors, such that (N) = k 2 n. The last two theorems are totient function analogues of Theorems 7 and 8, respectively. Theorem 11. Let C = {(r j, m j, p j )} t j=1 with 3 apple p 1 < p 2 < < p t be a (2, 1)- primitive covering and let apple be a C-Sierpiński number. For integers n s 2, if one of the conditions (i) p 1 5 or (ii) p 1 = 3 and apple 2 n 1 (mod 3) holds, then there exist infinitely many pairs (k, N), where k is a C-Sierpiński number and N is a square-free positive integer with s distinct prime divisors, such that (N) = k 2 n. Theorem 12. Let C be a (2, 1)-primitive covering. For integers n s 2 there exist infinitely many pairs (k, N), where k is a C-Sierpiński number and N is a positive integer with s distinct prime divisors, such that (N) = k 2 n. References [1] P. Erdős, On integers of the form 2 k + p and some related problems, Summa Brasil. Math. (1950), 113-123. [2] M. González, F. Luca, V. Huguet, On Sierpiński numbers of the form (N)/2 n, Integers 16 (2016), A89, 7pp. [3] H. Riesel, Några stora primtal, Elementa 39 (1956), 258-260. [4] W. Sierpiński, Sur un probleme concernant les nombres k2 n +1, Elem. Math. 15 (1960), 73-74. [5] Y.G. Chen, On integers of the form k 2 n and k2 n +1, J. Number Theory 89 (2001), 121-125.