[Merged by Bors] - feat(number_theory): Bertrand's postulate, slightly different approach

docs/100.yaml

@@ -385,6 +385,8 @@
   author : Anne Baanen
 98:
   title  : Bertrand’s Postulate
+  decl   : bertrand
+  author : Bolton Bailey, Patrick Stevens
 99:
   title  : Buffon Needle Problem
 100:

docs/references.bib

@@ -18,6 +18,14 @@ @Article{         ahrens2017
   doi           = {10.23638/LMCS-15(1:20)2019}
 }
 
+@article{         aigner1999proofs,
+  author        = {Aigner, Martin and Ziegler, G{\"u}nter M},
+  title         = {Proofs from THE BOOK},
+  journal       = {Berlin. Germany},
+  year          = {1999},
+  publisher     = {Springer}
+}
+
 @Book{            aluffi2016,
   title         = {Algebra: Chapter 0},
   author        = {Aluffi, Paolo},
@@ -292,6 +300,13 @@ @Book{            calugareanu
   doi           = {10.1007/978-94-015-9588-9}
 }
 
+@article{         carneiro2015arithmetic,
+  title         = {Arithmetic in Metamath, Case Study: Bertrand's Postulate},
+  author        = {Carneiro, Mario},
+  journal       = {arXiv preprint arXiv:1503.02349},
+  year          = {2015}
+}
+
 @Misc{            carneiro2018matiyasevic,
   title         = {A {L}ean formalization of {M}atiyasevi{\v c}'s theorem},
   author        = {Mario Carneiro},
@@ -1478,6 +1493,14 @@ @Book{            tao2010
   url           = {https://terrytao.files.wordpress.com/2010/02/epsilon.pdf}
 }
 
+@Article{         tochiori_bertrand,
+  author        = {Tochiori, Shigenori},
+  title         = {Considering the Proof of "There is a Prime between n and 2n"},
+  subtitle      = {Proof by a stronger estimation than the Bertrand-Chebyshev theorem},
+  language      = {Japanese},
+  url           = {https://www.chart.co.jp/subject/sugaku/suken_tsushin/76/76-8.pdf}
+}
+
 @Book{            Tent_Ziegler,
   place         = {Cambridge},
   series        = {Lecture Notes in Logic},