Primes in explicit short intervals on RH (Q2810682)

The authors prove the following theorem: Assume the Riemann hypothesis. Let \(x\geq 2\) and let \(c:=\frac1{2}+\frac{2}{\log x}\). Then there is a prime in the interval \((x-c\sqrt{x} \log x,x+c\sqrt{x} \log x)\) and there are at least \(\sqrt{x}\) primes in \((x-(c+1)\sqrt{x} \log x,x+(c+1)\sqrt{x} \log x)\).