Asymptotic counting conjecture for differences of powers of π\pi and ee

For x>0x>0, define

Nπ,e(x)=#{(n,m):πnemx, (n,m)N×N}.N_{\pi,e}(x)=\#\{(n,m):|\pi^n-e^m|\leqslant x,\ (n,m)\in\mathbb{N}\times\mathbb{N}\}.

The π\piee counting conjecture. As xx\to\infty,

Nπ,e(x)(logx)2logπ.N_{\pi,e}(x)\sim\frac{(\log x)^2}{\log\pi}.

The authors state that this conjecture can imply the irrationality of log(π)\log(\pi); no resolution is given in the source.

Sources & referencesView supporting material

Primary source

Daodao Yang, “Integers representable as differences of linear recurrence sequences”, arXiv:2006.09541 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.