Skip to main content
MathOverflow

Return to Question

Post Made Community Wiki by Stefan Kohl♦
Post Undeleted by François G. Dorais
Post Deleted by Andy Putman, Ryan Budney, user6976
Post Closed as "not a real question" by Wadim Zudilin, Pete L. Clark, Harry Gindi, Felipe Voloch, coudy
added 15 characters in body; added 12 characters in body
Source Link
Asterios Gkantzounis
Asterios Gkantzounis
  • 611
  • 6
  • 27
  1. It is well known that between a prime $p$ and $p^2$ always exist a prime, but what is the shortest proof of that (by elementary methods or not)?

(One can say that we can have it as a collorary of Bertrand's postulate, but it is a stronger result.)

  1. I ask it as an example, are there any characteristic examples of results that their first proof was really large comparing to some proof that someone found later?

  2. Or of results that their only known proof/proofs is/are a collorary of the proof of something stronger? (Maybe the one that I give is not an example for this.)

NOTE:I was asked to change the title to a more precise

  1. It is well known that between a prime $p$ and $p^2$ always exist a prime, but what is the shortest proof of that (by elementary methods or not)?

(One can say that we can have it as a collorary of Bertrand's postulate, but it is a stronger result.)

  1. I ask it as an example, are there any results that their first proof was really large comparing to some proof that someone found later?

  2. Or of results that their only known proof/proofs is/are a collorary of the proof of something stronger? (Maybe the one that I give is not an example for this.)

NOTE:I was asked to change the title to a more precise

  1. It is well known that between a prime $p$ and $p^2$ always exist a prime, but what is the shortest proof of that (by elementary methods or not)?

(One can say that we can have it as a collorary of Bertrand's postulate, but it is a stronger result.)

  1. I ask it as an example, are there any characteristic examples of results that their first proof was really large comparing to some proof that someone found later?

  2. Or of results that their only known proof/proofs is/are a collorary of the proof of something stronger? (Maybe the one that I give is not an example for this.)

NOTE:I was asked to change the title to a more precise

edited title; added 4 characters in body; edited title
Source Link
Asterios Gkantzounis
Asterios Gkantzounis
  • 611
  • 6
  • 27

What is the shortest proof of the existence of a prime between $p$ and $p^2$ ? other examples of facts that their known proof is a corollary of stronger results?

  1. It is well known that between a prime $p$ and $p^2$ always exist a prime, but what is the shortest proof of that (by elementary methods or not)?

(One can say that we can have it as a collorary of Bertrand's postulate, but it is a stronger result.)

  1. I ask it as an example, are there any results that their first proof was really large comparing to some proof that someone found later?

  2. Or of results that their only known proof/proofs is/are a collorary of the proof of something stronger? (Maybe the one that I give is not an example for this.)

NOTE:I was asked to change the title to a more precise

What is the shortest proof of the existence of a prime between $p$ and $p^2$ ? other examples of facts that their known proof is a corollary of stronger results?

  1. It is well known that between a prime $p$ and $p^2$ always exist a prime, but what is the shortest proof of that (by elementary methods or not)?

(One can say that we can have it as a collorary of Bertrand's postulate, but it is a stronger result.)

  1. I ask it as an example, are there any results that their first proof was really large comparing to some proof that someone found later?

  2. Or of results that their only known proof/proofs is/are a collorary of the proof of something stronger? (Maybe the one that I give is not an example for this.)

NOTE:I asked to change the title to a more precise

What is the shortest proof of the existence of a prime between $p$ and $p^2$ ? other examples?

  1. It is well known that between a prime $p$ and $p^2$ always exist a prime, but what is the shortest proof of that (by elementary methods or not)?

(One can say that we can have it as a collorary of Bertrand's postulate, but it is a stronger result.)

  1. I ask it as an example, are there any results that their first proof was really large comparing to some proof that someone found later?

  2. Or of results that their only known proof/proofs is/are a collorary of the proof of something stronger? (Maybe the one that I give is not an example for this.)

NOTE:I was asked to change the title to a more precise

added 54 characters in body
Source Link
Asterios Gkantzounis
Asterios Gkantzounis
  • 611
  • 6
  • 27
  1. It is well known that between a prime $p$ and $p^2$ always exist a prime, but what is the shortest proof of that (by elementary methods or not)?

(One can say that we can have it as a collorary of Bertrand's postulate, but it is a stronger result.)

  1. I ask it as an example, are there any results that their first proof was really large comparing to some proof that someone found later?

  2. Or of results that their only known proof/proofs is/are a collorary of the proof of something stronger? (Maybe the one that I give is not an example for this.)

NOTE:I asked to change the title to a more precise

  1. It is well known that between a prime $p$ and $p^2$ always exist a prime, but what is the shortest proof of that (by elementary methods or not)?

(One can say that we can have it as a collorary of Bertrand's postulate, but it is a stronger result.)

  1. I ask it as an example, are there any results that their first proof was really large comparing to some proof that someone found later?

  2. Or of results that their only known proof/proofs is/are a collorary of the proof of something stronger? (Maybe the one that I give is not an example for this.)

  1. It is well known that between a prime $p$ and $p^2$ always exist a prime, but what is the shortest proof of that (by elementary methods or not)?

(One can say that we can have it as a collorary of Bertrand's postulate, but it is a stronger result.)

  1. I ask it as an example, are there any results that their first proof was really large comparing to some proof that someone found later?

  2. Or of results that their only known proof/proofs is/are a collorary of the proof of something stronger? (Maybe the one that I give is not an example for this.)

NOTE:I asked to change the title to a more precise

edited title; edited title
Link
Asterios Gkantzounis
Asterios Gkantzounis
  • 611
  • 6
  • 27
added 7 characters in body
Source Link
Asterios Gkantzounis
Asterios Gkantzounis
  • 611
  • 6
  • 27
retagged
Source Link
Wadim Zudilin
Wadim Zudilin
  • 13.5k
  • 4
  • 58
  • 102
added 8 characters in body
Source Link
Asterios Gkantzounis
Asterios Gkantzounis
  • 611
  • 6
  • 27
Source Link
Asterios Gkantzounis
Asterios Gkantzounis
  • 611
  • 6
  • 27