The Proof of a Conjecture on the Density of Sets Related to Divisibility Properties of z(n)

Abstract

Let (Fn)n be the sequence of Fibonacci numbers. The order of appearance (in the Fibonacci sequence) of a positive integer n is defined as z(n)=min{k≥1:n∣Fk}. Very recently, Trojovská and Venkatachalam proved that, for any k≥1, the number z(n) is divisible by 2k, for almost all integers n≥1 (in the sense of natural density). Moreover, they posed a conjecture that implies that the same is true upon replacing 2k by any integer m≥1. In this paper, in particular, we prove this conjecture.