Graham's conjecture under Riemann hypothesis (Q1112081)

R. L. Graham raised the question whether \(_{1\leq i,j\leq n}a_ i/(a_ i,a_ j)\geq n\) for every chain of integers \(0<a_ 1<a_ 2<...<a_ n?\) The third author [J. Number Theory 27, 33-40 (1987; Zbl 0629.10003)] proved that the statement is true for all large n. However, an effective bound \(n_ 0\) for n was not given. In this paper, the authors give a bound for \(n_ 0\), namely, \(n_ 0=10^{70}\) assuming the truth of the Riemann Hypothesis. They achieve this by bounding six inequalities arising in Zaharescu's work. To this end, they prove certain inequalities, under Riemann Hypothesis, for \(\psi\) (x), \(\theta\) (x) and \(\pi\) (x) which are of independent interest.