 Research
 Open Access
 Published:
Some problems related to the growth of \(z(n)\)
Advances in Difference Equations volume 2020, Article number: 270 (2020)
Abstract
Let \((F_{n})_{n\geq 0}\) be the Fibonacci sequence. The order of appearance \(z(n)\) of a positive integer n is defined as \(z(n):= \min \{k\geq 1: n\mid F_{k}\}\). In 2013, Marques proved that \(\liminf_{n\to \infty }z(n)/n=0\). Let ϵ be a positive real number. In this paper, in particular, we generalized this Marques’ result by proving that almost all positive integers satisfy \(z(n)/n<\epsilon \).
Introduction
The Fibonacci sequence\((F_{n})_{n}\) is one of the most famous sequences in mathematics. This sequence starts with 0 and 1 and each term afterwards is the sum of the two preceding ones. So, its first terms are \(0, 1, 1, 2, 3, 5, 8, 13\), and so on. A wellknown nonrecursive formula for the nth Fibonacci number is the Binetformula
where \(\alpha:=(1+\sqrt{5})/2\) and \(\beta:=(1\sqrt{5})/2\) (for more details see [1, 4, 7, 20]).
There are many authors interested in problems related to divisibility properties of Fibonacci numbers (see e.g. [3, 8]). In this direction, we define, for any positive integer n, the order of apparition (or the rank of appearance) of n in the Fibonacci sequence, denoted by \(z(n)\), as the minimum element of the set \(\{k\geq 1: n\mid F_{k}\}\). This function is well defined by a result of Lucas [9, p. 300] (in 1878), and in fact a simple combinatorial argument yields \(z(n)\leq n^{2}\) for all positive integers n. We note that there is not a general closed formula for the \(z(n)\), and therefore Diophantine equations related to \(z(n)\) play an important role in its best comprehension (see [10, 16, 17, 19]). A number of authors have considered, in varying degrees of generality, the problem of determining a special closed formula for \(z(n)\), when n is a number which is related to a sum or a product of terms of Fibonacci and Lucas sequences (see, for example, [5, 6, 11, 18] and the references therein).
In 1975, Sallé [13] showed that \(z(n)\leq 2n\) for all positive integers n and, moreover, he also found the explicit form of all integers n for which the equality is attained. In fact, it holds that
In particular, \(\limsup_{n\to \infty }z(n)/n=2\). However, apart from these cases this upper bound is very weak. For instance, \(z(2255)=20<10^{2}\cdot 2255\). In fact, Marques [12] proved the existence of sharper upper bounds for the zfunction which hold whenever \(n\neq 6\cdot 5^{k}\), where \(k\geq 0\). These upper bounds become better as \(\omega (n)\) increases (where, as usual, \(\omega (n)\) is the number of distinct prime factors of n). By using these bounds, he deduced that
However, the proof of the previous fact does not need Marques’ upper bounds since, for \(n>2\), \(z(F_{n})/F_{n}=n/F_{n}\) tends to 0 as \(n\to \infty \) (since \(F_{n}\geq (\sqrt{2})^{n2}\)). Indeed, in order to derive this, he used the primorial number of the nth prime, denoted by \(p_{n}\#\), which is defined as the product of the first n prime numbers. It is well known that the primorial numbers are rarer (in some sense) than Fibonacci numbers (see Remark 1 for the formal meaning).
In this paper, we are interested in two problems related to the growth of \(z(n)\). The first one is about the proportion of positive integers such that \(z(n)/n\) is sufficiently small. To be more precise, for a real number \(\epsilon >0\), we define
Note that \(\mathcal{N}_{\epsilon }=\mathbb{Z}_{>0}\) for all \(\epsilon \geq 2\) (by Sallé’s result). See also Fig. 1. By (2), we know that the set \(\mathcal{N}_{\epsilon }\) is infinite for all \(\epsilon >0\). However, by using only Fibonacci numbers in order to have \(z(F_{n})/F_{n}<\epsilon \), we obtain a zero natural density set of positive integers belonging to \(\mathcal{N}_{\epsilon }\). Recall that if \(\mathcal{A}\) is a set of positive integers, the natural density of \(\mathcal{A}\), denoted by \(\delta (\mathcal{A})\), is the following limit (if it exists):
where \(\mathcal{A}(x):=\mathcal{A}\cap [1,x]\) (for \(x>0\)). For example, clearly, \(\delta (\mathcal{N}_{\epsilon })=1\) for all \(\epsilon \geq 2\). We recall that a property is said to be satisfied by almost all positive integers if the set of positive integers, for which this property holds, has natural density 1.
Thus, our first result states, in particular, that almost all positive integers belong to \(\mathcal{N}_{\epsilon }\) for all \(\epsilon >0\). More precisely,
Theorem 1
There exists a positive constantcsuch that, for all\(\epsilon >0\), the estimate
holds for all sufficiently largex.
As an immediate consequence, we have
Corollary 1
For all\(\epsilon >0\), one has that\(\delta (\mathcal{N}_{\epsilon })=1\).
The second problem which will be treated here is about a “Mertenslike” function related to \(z(n)\) (recall that the Mertens function\(M(m):=\sum_{n=1}^{m}\mu (n)\), where \(\mu (n)\) is the Möbius function). Let m be a positive integer, we define the zsummation function\(Z(m):=\sum_{n=1}^{m}z(n)\). This function can be also defined over the positive real numbers by \(Z(x):=Z(\lfloor x\rfloor )\) (we can also denote \(Z(x):=\sum_{n\leq x}z(n)\), see Fig. 2).
Since \(z(n)\leq 2n\), then we have the direct estimate
for all \(x\geq 1\). In particular, \(Z(x)=O(x^{2})\) (here, we use the Landau symbolO to say that \(f(x)=O(g(x))\) if there exists a positive constant M such that \(f(x)\leq Mg(x)\) for all sufficiently large x, i.e., the same meaning as \(f\ll g\)). Theorem 1 implies that \(z(n)/n\) can be made arbitrarily small, with probability 1 (i.e., \(\delta (\mathcal{N}_{\epsilon })=1\)), and so it suggests the existence of a substantially better upper bound for \(Z(x)\). In fact, the following theorem holds.
Theorem 2
We have that
The proof of these results combines some new (sharper upper bounds for \(z(n)\) due to Marques) and classical results (such as a result due to Sathé and Selberg) in number theory.
The graphs of the functions in Fig. 2 show that our upper bound (4) is much sharper than upper bound (3).
Auxiliary results
A consequence of Marques’ theorems (in [12]) will be an essential ingredient in our proof. Therefore, we shall present his results as lemmas (in what follows \(\nu _{2}(n)\) denotes the 2adic valuation of n, i.e., the largest exponent of 2 in the prime factorization of n).
Lemma 1
(Theorem 1.1 of [12])
We have

(i)
\(z(2^{k})=3\cdot 2^{k2}\) (for\(k\geq 3\)), \(z(3^{k})=4\cdot 3^{k1}\) (for\(k\geq 1\)), and\(z(5^{k})=5^{k}\) (for\(k\geq 0\)).

(ii)
If\(p>5\)is a prime, then
$$ z \bigl(p^{k} \bigr)\leq \biggl(p \biggl( \frac{5}{p} \biggr) \biggr)p^{k1}\quad \textit{for } k\geq 1, $$where, as usual, \((\frac{a}{q})\)denotes the Legendre symbol ofawith respect to a prime\(q>2\).
Lemma 2
(Theorem 1.2 of [12])
Letnbe an odd integer with\(\omega (n)\geq 2\), then
where
Lemma 3
(Theorem 1.3 of [12])
Letnbe an even integer with\(\omega (n)\geq 2\), it holds that
 (i)
If\(\nu _{2}(n)\geq 4\), then
$$ z(n)\leq \frac{3}{4}\cdot \biggl( \frac{2}{3} \biggr)^{\omega (n)\delta _{n}1}n. $$  (ii)
If\(\nu _{2}(n)=1\), then
$$ z(n) \leq \textstyle\begin{cases} 3n/2& \textit{if } \omega (n)=2 \textit{ and } 5\mid n; \\ 2n& \textit{if } \omega (n)=2 \textit{ and } 5\nmid n; \\ 3\cdot (2/3)^{\omega (n)\delta _{n}1}n & \textit{if } \omega (n)>2. \end{cases} $$  (iii)
If\(\nu _{2}(n)\in \{2,3\}\), then
$$ z(n) \leq \textstyle\begin{cases} 3n/2& \textit{if } \omega (n)=2 \textit{ and } 5\mid n; \\ n& \textit{if } \omega (n)=2 \textit{ and } 5\nmid n; \\ (2/3)^{\omega (n)\delta _{n}2}n & \textit{if } \omega (n)>2. \end{cases} $$
The next two lemmas are powerful results in analytic number theory which are related to positive integers with fixed number of distinct prime factors.
Lemma 4
(Sathé–Selberg formula)
For any positive constantA, we have
for\(x\geq 3\)and\(1\leq k\leq A\log \log x\), where
In the previous statement \(\varGamma (z)=\int _{0}^{\infty }x^{z1}e^{x}\,dx\) (for \(x>0\)) is the wellknown gamma function and, as usual, for two positive functions \(f(x)\) and \(g(x)\), we say that \(f \sim g\) (i.e., f is asymptotically equivalent to g) if \(f(x)/g(x)\) tends to 1 as \(x\to \infty \).
Lemma 5
(Turán–Kubilius inequality)
We have that
The proof of Lemmas 4 and 5 can be found in [14, 15] and [2, Theorem 7.2], respectively.
Remark 1
In the text right after (2), we said that the primorial numbers are rarer than Fibonacci numbers. Indeed, this is true because, in light of the previous definition, we have \(F_{n} \sim \alpha ^{n}/\sqrt{5}\) while \(p_{n}\# \sim n^{(1+o(1))n}\) (where, in this case, \(o(1)\) means a function which tends to 0 as \(n\to \infty \)).
As usual, from now on we utilize the notation \([a,b]=\{a,a+1,\ldots, b\}\) for any integers \(a< b\).
Now we are ready to deal with the proof of our results.
The proofs
The proof of Theorem 1
We can deduce by Lemmas 1, 2, and 3 that
for all \(n>1\). Thus, to obtain the inequality \(z(n)/n<\epsilon \), it suffices that \(7\cdot (2/3)^{\omega (n)}<\epsilon \). This inequality holds when \(\omega (n)>\log (\epsilon /7)/\log (2/3)\). Therefore, for \(k:=\lceil \log (\epsilon /7)/\log (2/3)\rceil \), we have
Thus, to finish the proof, it is enough to show that
for all t.
Now, the proof conveniently splits into two cases:
Case 1
If \(t\leq 2\log \log x\). Note that since \(G(z)\) converges uniformly and absolutely in any bounded set, we have \(\max_{z\in [0,2]}\{G(z)\}\leq C\), for some positive constant C. Now, by Lemma 4 for \(A=2\), we get \(G(z_{t})\leq C\) (for \(z_{t}:=(t1)/\log \log x<2\)) and
By the Stirling’s formula (i.e., \(n!\geq \sqrt{2\pi}n^{n+1/2}e^{n}\)), the previous inequality can be written as
However (by a straightforward calculation), for a given \(A>1\), the function \(f(y):=(A/y)^{y}\) has its maximum value \(e^{A/e}\) which is attained at \(y=A/e\). Thus, if \(A=e\log \log x\), then \(f(t1)\leq e^{\log \log x}=\log x\) and so
Case 2
If \(t> 2\log \log x\). In this case, for \(\omega(n)=t>2\log \log x\), then \(\omega(n)\log \log x>\log \log x\) and therefore
Since \(\sum_{n\leq x}(\omega(n)\log \log x)^{2} = O(x\log \log x)\) (by Lemma 5), we deduce that
In conclusion, inequalities (6) and (7) imply (5), as desired.
Proof of Corollary 1
By definition of natural density and by Theorem 1, we have
which implies the desired result. □
The proof of Theorem 2
By using that \(z(n)\leq 7\cdot (2/3)^{\omega(n)}n\), we have that
where \(h(x)=\max\{\omega(t) : t\leq x\}\). This inequality can be written as
In order to obtain an upper bound for the first sum in the right hand side above, we apply Lemma 4 for \(A=1\) and \(z_{k}:=(k1)/\log \log x<1\). Thus
Here, we used that \(G(z_{k})=O(1)\) (as in the proof of Theorem 1). Therefore,
For the second sum in the right hand side of (8), we have
where we used that \(\lfloor \log \log x\rfloor+1>\log \log x\). Since \(2/3<1/\sqrt[3]{e}\), then
Thus
By combining (8), (9) and (10), we arrive at
as desired.
Conclusions
In this paper, we study two problems related to the order (of appearance) in the Fibonacci sequence, denoted by \(z(n)\). This arithmetic function plays an important role in gaining an understanding of some Diophantine problems involving Fibonacci numbers (the open problem about the existence of infinitely many Fibonacci prime numbers is one of the most important of them). In the first problem, we generalize a result of Marques by proving that almost all positive integers satisfy \(z(n)/n<\epsilon \) for any previously fixed \(\epsilon >0\) (more generally, we shall provide a lower bound for the number of positive integers which are smaller than or equal to x with this property). Our second problem is related to the summation function \(Z(n)\) which is defined as the sum of values of \(z(m)\), with the summation going from \(m=1\) to \(m=n\). The trivial upper bound for \(Z(n)\) is \(n(n+1)\), which follows from a result of Sallé. However, our Theorem 1 suggests the existence of a much better upper bound. In fact, we prove that \(Z(n)=O(n^{2}/(\log n)^{1/3})\). The proofs combine some elementary tools related to \(z(n)\) together with a deep result in analytic number theory.
References
 1.
Benjamin, A., Quinn, J.: The Fibonacci numbers—exposed more discretely. Math. Mag. 76, 182–192 (2003)
 2.
De Koninck, J.M., Luca, F.: Analytic Number Theory—Exploring the Anatomy of Integers, Am. Math. Soc., Providence (2012)
 3.
Halton, J.H.: On the divisibility properties of Fibonacci numbers. Fibonacci Q. 4, 217–240 (1966)
 4.
Kalman, D., Mena, R.: The Fibonacci numbers. Exposed. Math. Mag. 76, 167–181 (2003)
 5.
Khaochim, N., Pongsriiam, P.: The general case on the order of appearance of the product of consecutive Lucas numbers. Acta Math. Univ. Comen. 59, 277–289 (2018)
 6.
Khaochim, N., Pongsriiam, P.: On the order of appearance of the product of Fibonacci numbers. Contrib. Discrete Math. 13, 45–62 (2018)
 7.
Koshy, T.: Fibonacci and Lucas Numbers with Applications. Wiley, New York (2001)
 8.
Lengyel, T.: The order of the Fibonacci and Lucas numbers. Fibonacci Q. 33, 234–239 (1995)
 9.
Lucas, E.: Théorie des fonctions numériques simplement périodiques. Am. J. Math. 1, 289–321 & 289–321 (1878)
 10.
Marques, D.: Fixed points of the order of appearance in the Fibonacci sequence. Fibonacci Q. 50, 346–352 (2012)
 11.
Marques, D.: The order of appearance of product of consecutive Fibonacci numbers. Fibonacci Q. 50, 132–139 (2012)
 12.
Marques, D.: Sharper upper bounds for the order of appearance in the Fibonacci sequence. Fibonacci Q. 51, 233–238 (2013)
 13.
Sallé, H.J.A.: Maximum value for the rank of apparition of integers in recursive sequences. Fibonacci Q. 13, 159–161 (1975)
 14.
Sathé, L.G.: On a problem of Hardy on the distribution of integers having a given number of prime factors. J. Indian Math. Soc. 17, 63–141 (1953)
 15.
Selberg, A.A.: Note on a paper by L.G. Sathe. J. Indian Math. Soc. 18, 83–87 (1954)
 16.
Somer, L., Křížek, M.: Fixed points and upper bounds for the rank of appearance in Lucas sequences. Fibonacci Q. 51, 291–306 (2013)
 17.
Trojovská, E.: On the Diophantine equation \(z(n)=(21/k)n\) involving the order of appearance in the Fibonacci sequence. Mathematics 8, 124 (2020)
 18.
Trojovský, P.: The order of appearance of the sum and difference between two Fibonacci numbers. AsianEur. J. Math. 12, 1950046 (2019)
 19.
Trojovský, P.: On Diophantine equations related to order of appearance in Fibonacci sequence. Mathematics 7, 1073 (2019)
 20.
Vorobiev, N.N.: Fibonacci Numbers. Birkhäuser, Basel (2003)
Acknowledgements
The author expresses his debt of gratitude to the editor and reviewers for their helpful and detailed comments in improving the presentation and quality of the paper.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
The author was supported by Project of Excellence PrF UHK No. 2213/2020, Faculty of Science, University of Hradec Králové, Czech Republic.
Author information
Affiliations
Contributions
The author declares that he has read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Trojovský, P. Some problems related to the growth of \(z(n)\). Adv Differ Equ 2020, 270 (2020). https://doi.org/10.1186/s13662020027355
Received:
Accepted:
Published:
MSC
 11N56
 11B39
 11N37
 11Y70
Keywords
 Asymptotic
 Arithmetic functions
 Fibonacci sequence
 Order of appearance
 Natural density