Skip to main content
12 events
when toggle format what by license comment
Oct 27, 2018 at 13:17 history edited S. Carnahan CC BY-SA 4.0
appended answer 313869 as supplemental
Oct 26, 2018 at 17:30 vote accept John McVey
Oct 24, 2018 at 17:02 history edited John McVey CC BY-SA 4.0
added 20 characters in body
Oct 24, 2018 at 16:42 comment added John McVey @EmilJeřábek You're right. I didn't check that my code for some reason recorded 47 as being in this interval. Mea culpa.
Oct 24, 2018 at 16:29 comment added Emil Jeřábek As far as I can see, the correct $n_0$ is $60$. There is only one prime in $(49{.}17,59)$.
Oct 24, 2018 at 16:21 answer added Gerhard Paseman timeline score: 9
Oct 24, 2018 at 15:37 comment added Robert Israel @PeterHumphries More than just "a bit" of work, I think. If it was just "a bit", there would be no need to publish those "Better results".
Oct 24, 2018 at 15:31 answer added Zhi-Wei Sun timeline score: 6
Oct 24, 2018 at 15:30 comment added Peter Humphries And I don't understand why you insist on a better way; sure, modifications of the proof of Bertrand's postulate will work, but they'll take a bit of work. Why not just cite a paper that does the work for you? If it's for a research paper, why not kill a mosquito with a nuke if you can? I don't think the reader will be so bothered that you haven't used the simplest tools.
Oct 24, 2018 at 15:27 comment added Peter Humphries Can you not just use Corollary 5.2 of doi.org/10.1007%2Fs11139-016-9839-4 ? This will solve the problem for $n$ large but finite, and a computer search will get you the rest of the way down to $n = n_0 = 32$.
Oct 24, 2018 at 15:20 comment added Sylvain JULIEN For the aside question : most number theorists write $ \log^{2} x $ to mean $(\int_{1}^{x}\frac{dt}{t})^2 $, while $\log_{2}x $ usually denotes what in calculus would appear as $ \ln(\ln(x)) $ .
Oct 24, 2018 at 15:13 history asked John McVey CC BY-SA 4.0