加载中…
Let be a non-degenerate linear recurrence sequence of integers with Binet’s formula given by Assume . In 1977, Loxton and Van der Poorten conjectured that for any there is a effectively computable constant such that if , then . Using results of Schmidt and Evertse, a complete non-effective (qualitative) proof of this conjecture was given by Fuchs and Heintze (2021) and, independently, by Karimov and al.~(2023). In this paper, we give an effective upper bound for the number of solutions of the inequality , thus extending several earlier results by Schmidt, Schlickewei and Van der Poorten.

生成讲解博客的中文版本

生成AI智能校验的中文版本