Talk:Proof of Bertrand's postulate
Why can't the proof be strengthened?
I fail to see why assuming there is no prime p such that n < p < 2n-2 won't work. This allows the possibility of 2n-1 being prime which would make the right side but still maintains the asymptotic behavior that will lead to a contradiction.
Clarifying a couple of steps
I was following this fine up until this step:
- When the number has at most one factor of p. By Lemma 2, for any prime p we have pR(p,n) ≤ 2n, so the product of the pR(p,n) over all other primes is at most
I fail to understand two things here.
- Ad the first point: we haven't. Read the paragraph more carefully, we have only shown that for p > 2n/3.
- Ad the second point: the product is split into two pieces, one for primes p ≤ √(2n) (for which we have the generic bound pR(p,n) ≤ 2n by lemma 2), and one for primes p > √(2n) (for which we have R(p,n) ≤ 1 by lemma 3). So:
- using the fact that all prime divisors of are at most 2n/3, as we know from the preceding paragraph. Does it make sense now? -- EJ (talk) 13:17, 17 January 2008 (UTC)
- Thanks for the response, I do understand these now (with a bit more work).
- For the first point: I read in the earlier text "[not] 2n/3<p<n since then p>sqrt(2n) and so ...". I didn't notice that it then uses 2n/3<p again in the derivation, so it really does prove it only for that range and not for sqrt(2n)<p<n.
- For the second point: I'd got R(p,n)<=2n in my head (rather than R(p,n)<=log_p(2n)), so no wonder I couldn't derive the right product.
- I may have a go at putting in some elided steps that might have helped me avoid the confusion, but I'll wait to see if I still think they'd be valuable after I've aborbed the whole thing more fully. Hv (talk) 16:37, 17 January 2008 (UTC)
Is Lemma 2 Correct?
I'm just going to state what I believe is a counterexample. The largest power of 3 that divides is 81, which is certainly greater than 18. Am I missing something? Xylune (talk) 06:14, 2 August 2008 (UTC)
- Sorry! I forgot to divide (2n)! by n! twice. In fact, 3 doesn't divide at all. Whoops. -Xylune (talk) 08:10, 2 August 2008 (UTC)
Ramanujan's proof is needed as to explain the prime numbers which bare his name.
The beauty of this proof is not in the simplicity, but in the foundation which can be used for other proofs. Namely, with the help of a new paper by Hashimoto (July, 2008), we can prove Legendre's conjecture.
Can we make another section which explains Ramanujan proof? I am not a good writer, but do understand the general concept of why it is important. Namely, the increase in the number of Ramanujan primes, Ri, increases the number of primes between n and 2*n with n > Ri. This is the foundation of other proofs.
Hashimoto (July, 2008) http://arxiv.org/abs/0807.3690
I really enjoyed this very clear exposition! I have a couple of remarks.
- Although this is written in form of a proof by contradiction, the argument by contradiction is not really needed. One could put it more naturally (IMO) as an a priori bound on the numbers n that fail to satisfy the thesis, plus a direct examination of the remaining small cases, a kind of customary procedure in mathematics. Thus, if there is no prime between n and 2n then n verifies an inequality yielding to n < 468, and then one checks the remaining cases (so I'd suggest to move the first lines of the proof, about the small values of n, to the end.)
- The slightly stronger lower bound for the central binomial coefficient,
is also available (we may just put together and in the sum, so that the number of terms in the sum is now 2n). The latter gives a somehow nicer final inequality that yields quickly to n < 468 (the conclusion, although standard, may be not immediate, and of interest to some reader). --pma 15:46, 19 September 2012 (UTC)
- Let me add a link to a very nice explanation about why we like more direct proofs (even in form of contrapositive) than a proof by contradiction: http://mathoverflow.net/questions/12342/reductio-ad-absurdum-or-the-contrapositive/12400#12400 (BTW, another famous theorem about prime numbers, the Euclid proof of infinitude, is also sometimes written in form of reductio ad absurdum, although the original proof was constructive!) --pma 16:21, 19 September 2012 (UTC)
Great big hole in proof
The proof in this article is very incomplete and skipped a very large number of steps. The article did not prove that the two functions & cross between 467 & 468. It would take so many steps to prove the latter statement that it would be better to change the method of proof than to fill in all those missing steps. The proof in this article can be completed as follows:
Taking logarithms, we get but so Suppose n = 512, then In addition to that, for any n > 18 so for all n ≥ 512. This gives the contradiction n < 512. Thus for all n ≥ 1, there exists a prime number p such that n < p ≤ 2n.
- This is not a hole. In mathematics, "proof" has two different meanings: (1) a step by step reduction in which each step uses only the basic axioms of the system, the sort of thing that took Principia Mathematica over a thousand pages to prove 1+1=2, or (2) a logical argument in which all the missing steps are at a level that would be considered easy to the intended audience of the proof. The proof presented in this article is a proof of the second sort, and there is no need for a complex sequence of deductive steps to expand the proof to show a crossover of functions, when it is trivial to test the crossover by anyone with a calculator. For instance, it can be done in Python as follows:
>>> from math import log >>> def test(n): return (log(4)*n/3, ((2*n)**0.5+1)*log(2*n)) >>> test(467) (215.79982221432962, 215.8635445367321) >>> test(468) (216.26192033470292, 216.15480039082343)
- I am responsible for the current form of the conclusion of the proof. The previous version ended more or less at the inequality
- and I added a few lines because the conclusion could be unclear to a non-mathematical reader. However, I think we prefer not to include here too long and tedious computations, as explained by David Eppstein, so I was looking for a balance between clarity and brevity. That said, the idea of the anonymous user 220.127.116.11, of testing the above inequality, written : on odd powers of 2, seems good to me.
- So for the inequality is true, being
- for it is false, reducing to
- Being already established that the set where the inequality holds is an interval, one has as before , so that the list of 10 prime numbers 2,..,631 still suffices.--pma 23:25, 24 September 2012 (UTC)
This is a really nice article...the only thing is, the in-line math mode is visually distracting, esp. if the HTML font size is small. Unfortunately, I don't see any way around this without completely disrupting the readability of the proof. Maybe this is an issue that will be solved as the wiki evolves. Revolver 18:42, 31 Jan 2004 (UTC)