New Equivalents of Kurepa’s Hypothesis for Left Factorial †

: Kurepa’s hypothesis for the left factorial has been an unsolved problem for more than 50 years. In this paper, we have proposed new equivalents for Kurepa’s hypothesis for the left factorial. The connection between the left factorial and the continued fractions is given. The new equivalent based on the properties of the integer part of real numbers is proven. Moreover, a new equivalent based on the properties of two well-known sequences is given. A new representation of the left factorial is listed. Since derangement numbers are closely related to Kurepa’s hypothesis, we made some notes about the derangement numbers and deﬁned a new sequence of natural numbers based on the derangement numbers. In this paper, we indicate a possible direction for further research through solving quadratic equations.


Introduction and Preliminaries
Pythagoras, a renowned Greek philosopher and mathematician who lived between 570 BC and 495 BC, believed that numbers could be used to express everything. He based his philosophy on the concept that mathematical relationships could describe the universe. According to Weil in [1], the birth of the modern number theory took place between 1621 and 1636. This was when Bachet (1581-1638), a French mathematician, published Diophantus' book Aritmetica in Latin, along with his comments. Diophantus (around 200-284 AD) was a Greek mathematician known as the "father of algebra" for his revolutionary contributions to solving Diophantine equations. Diophantine equations are equations with integer solutions, and Diophantus developed methods for solving them. The connection between Pythagoras and Diophantus lies in the fact that Diophantus continued and developed the ideas and techniques used in Pythagoras' studies of number theory. He advanced the study of Diophantine equations, which was part of Pythagoras' number theory. Diophantus's works greatly influenced the further development of number theory, including many concepts established by Pythagoras. Although their work was separated by centuries, it can be said that in his works, Diophantus inherited and expanded upon many of Pythagoras' mathematical ideas and concepts, particularly regarding number theory. In this article, we will examine an unresolved problem in modern number theory. Namely, we will consider Kurepa's hypothesis. Moreover, we point out the possibility of including Diophantine equations in solving Kurepa's hypothesis and this could be a new direction in solving this open problem.
Kurepa's hypothesis for the left factorial, or in short, Kurepa's hypothesis, was formulated in 1971 by -Duro Kurepa (1907Kurepa ( -1993 and is still an open problem. The purpose of this paper is to contribute to the ongoing efforts to understand and solve Kurepa's hypothesis by providing new perspectives and connections to other mathematical concepts. The paper is organized as follows. In the sequel of the introductory section, we present a historical overview and a brief review of the current status of Kurepa's hypothesis. Then, we briefly introduce notation and basic concepts used in the following sections. Section 2 establishes the connection between the left factorial and the continued fractions. We prove a new equivalent based on the properties of the integer part of real numbers. We also list two new equivalents based on the properties of two well-known sequences. We will list a new representation of the left factorial. In addition, we made some remarks under the assumption that Kurepa's hypothesis is not correct (in Section 2.2). Some properties of derangement numbers are proven in Section 2.3. Finally, in Section 3, we present conclusions and indicate possible directions for further research.
Let us emphasize once again that the aim of this paper is to present new equivalents to Kurepa's hypothesis and to point out new possibilities for researching problems related to Kurepa's hypothesis. There are various equivalents of the hypothesis and their importance is that they may help to solve the problem of whether Kurepa's hypothesis is correct or not.

Preliminaries
Let N be the set of natural numbers (positive integers). Let [t] denote the integer part of a real number t, and e ≈ 2.71828 is Euler's number.
Let us recall some statements proven by Mijajlović [16] and Šami [11], which we will use in the sequel. It holds that !n ≡ (−1) n−1 S n−1 (mod n) for all n > 2 (2) where S n are the derangement numbers cf. ( [48] (p. 65), [49] (p. 182), [21]) defined by The derangement numbers S n satisfy the following recurrence relation Bell numbers are defined by Based on the properties of Bell numbers, Barsky and Benzaghou in [47] and Sun and Zagier in [10] showed the following equivalent of Kurepa's hypothesis for any prime number p:

Results
We start this section by listing the equivalents of Kurepa's hypothesis.

Equivalents of Kurepa's Hypothesis
We will now state the equivalent of Kurepa's hypothesis based on the properties of continued fractions. The continued fraction (see [50]) ..+ t n−1 r n−1 + tn rn is denoted by where the sequences {x n } ∞ n=0 and {y n } ∞ n=0 are given by y 0 = 1, y 1 = r 1 , y n = r n y n−1 + t n y n−2 .
Proof. From equation (see [50]) , j = 1, 2, ..., n − 1, we obtain Using relations (7) and (8), we have The sequence {x n } ∞ n=0 is the already mentioned sequence A002467 in [51] and x n = n! − S n is valid for it, while the sequence {y n } ∞ n=0 is the well-known sequence A000142 in [51] and is also calculated by the formula: y n = n!.
Hence, we have proven our theorem by (2).
Before we present one of our main results, we state an elementary statement that is easy to prove: The main result of the paper is the following theorem: Theorem 2. For p to be an odd prime number, it holds Proof. (⇒) Let us assume the opposite: Kurepa's hypothesis is incorrect, i.e., there is some odd prime number p such that (see (2)) S p−1 ≡ 0 (mod p) and the inequality is correct. On the other hand, a ∈ N such that S p−1 = pa and Hence, the inequality of (9) produces which is a contradiction since the number a − [ (p−1)! p e ] is an integer. (⇐) Suppose that the inequality Thus, S p−1 ≡ 0 (mod p), and consequently, !p ≡ 0 (mod p), which is a contradiction to Kurepa's hypothesis.
In addition to Kurepa's hypothesis equivalents given on the basis of the properties of integer sequences, (3) and (5) in [9] (sequence A002467 in [51]) and [41] (pg. 10) (sequences A052169, A051398, A051403, and A002720 in [51]) are listed equivalently, using the five well-known integer sequences. In addition to these seven sequences, we will now list two more well-known integer sequences.
The integer sequence {a n } ∞ n=0 (sequence A000296 in [51]) is defined as follows: The integer sequence {b n } ∞ n=1 (sequence A138378 in [51]) denotes the number of embedded coalitions in an n-person game [52].
Lemma 2. Let p > 3 be a prime number. Then: Proof. On the basis of (6) and B p ≡ 2 (mod p) (see [6]) and ( p−1 k ) ≡ (−1) k , we have proof of the first equivalence. The proof of the second equivalence follows from the basis (6) and [52] (Th. 1).
Finally, we present a new representation of the left factorial in the following lemma: Proof. We present our proof through an induction on n. The statement for n = 1 is clearly true. Let m ∈ N be given and suppose that the statement is true for n = m: Thus, the statement holds for n = m + 1, and the proof of the induction step is complete.
Let us define the integer sequence {c n } ∞ n=1 as follows: For example, the first few terms of this sequence are 1, 4, 34, 874, . . . .

Corollary 1.
For the integer sequence {c n } ∞ n=1 defined by (13), the following identity holds: Proof. It follows from Lemma 3.

Some Remarks on the Assumption that Kurepa's Hypothesis Is Not Correct
Theorem 3. Let prime number p > 3 be the smallest number, for which it holds Then, exist the natural numbers a ∈ N and odd numbers b, c ∈ N, for which the Diophantine equation is valid: Proof. The proof is simple and rests upon the property of the derangement numbers (3). Let p, p > 3, be the smallest prime number for which (14) is valid. Then, and using (2), we obtain (∃a ∈ N)(a(p − 1) < S p−2 < (a + 1)(p − 1)).
It is not difficult to show that it is: Diophantine equation (15) and equation (18) are equivalent, which completes the proof.

Corollary 2.
If the solutions of the quadratic Equation (18) denote as p 1 ∈ N and p 2 ∈ N, then coefficient a in (18) is an odd natural number and exists the odd natural numbers b 1 and c 1 , such that: Proof. By Vieta's formulas, we have a|b and a|c, i.e., b = ab 1 and c = ac 1 , (b 1 , c 1 ∈ N), respectively.
Remark 1. Let the notation of the Corollary 2 hold. If p 1 ∈ N and p 2 ∈ N, then Kurepa's hypothesis is true.
Through an induction for s ∈ N 0 inequalities < (n+2s−1)! e <, we have proof of our theorem for odd n. Similarly, by the procedure, we prove the assertion for n even number.
The last equation is well-known.
The sequence of natural numbers {α n } ∞ n=4 has not been defined so far according to [51]. It is not difficult to show that it is α n := n! (n + 1)e (n < 2 40 ) .

Remark 3.
For n > 1 odd natural number, the multiple application of Formula (4) provides the following result:

Conclusions
The hypothesis for the left factorial given by Professor Kurepa is a long-standing open problem. Numerous attempts to solve this problem have not brought us closer to answering the question of whether the hypothesis is correct or not. Thus, any exploration of the concepts associated with this hypothesis may lead to its resolution. We have proposed several new facts concerning the hypothesis for the left factorial, which may suggest new research directions for this open problem. So far, neither continued fractions nor quadratic equations have been used to solve this problem. Formulated hypothesis equivalences and proposed congruence's for the left factorial, as well as a newly defined sequence can contribute to the final solution of the problem, either by proving the hypothesis or by finding a counterexample. Further research will be related to the search for a more efficient way to calculate the left factorial and solve quadratic equations based on the properties of derangement numbers listed in this paper.