Skip to main content
Post Made Community Wiki by S. Carnahan
added 295 characters in body
Source Link
José Hdz. Stgo.
  • 8.8k
  • 4
  • 68
  • 106

Two examples which come to my mind are:

  1. $(\forall n \in \mathbb{N})$ $\, \,$ $p_{n+1}<2^{2^{n}}$.

  2. For every $n \in \mathbb{N}_{\geq 12}$, $\,$ $p_{n}>3n$.

By the way, Erdös's proof of Bertrand's postulate is not by induction (it depends on some results which can be proven via mathematical induction, thoughbut that's a different thing): what Erdös actually does in his proof is compare lower bounds for the central binomial coefficients $\binom{2n}{n}$ with some upper ones which he obtains by means of Legendre's formula, the Erdös-Kalmár inequality, and the assumption that there are no primes in $(n,2n]$.

Two examples which come to my mind are:

  1. $(\forall n \in \mathbb{N})$ $\, \,$ $p_{n+1}<2^{2^{n}}$.

  2. For every $n \in \mathbb{N}_{\geq 12}$, $\,$ $p_{n}>3n$.

By the way, Erdös's proof of Bertrand's postulate is not by induction (it depends on some results which can be proven via mathematical induction, though).

Two examples which come to my mind are:

  1. $(\forall n \in \mathbb{N})$ $\, \,$ $p_{n+1}<2^{2^{n}}$.

  2. For every $n \in \mathbb{N}_{\geq 12}$, $\,$ $p_{n}>3n$.

By the way, Erdös's proof of Bertrand's postulate is not by induction (it depends on some results which can be proven via mathematical induction, but that's a different thing): what Erdös actually does in his proof is compare lower bounds for the central binomial coefficients $\binom{2n}{n}$ with some upper ones which he obtains by means of Legendre's formula, the Erdös-Kalmár inequality, and the assumption that there are no primes in $(n,2n]$.

Source Link
José Hdz. Stgo.
  • 8.8k
  • 4
  • 68
  • 106

Two examples which come to my mind are:

  1. $(\forall n \in \mathbb{N})$ $\, \,$ $p_{n+1}<2^{2^{n}}$.

  2. For every $n \in \mathbb{N}_{\geq 12}$, $\,$ $p_{n}>3n$.

By the way, Erdös's proof of Bertrand's postulate is not by induction (it depends on some results which can be proven via mathematical induction, though).