Choquet Theory

Erdös proved that there exist at least one Prime of the form $4k+1$ and at least one Prime of the form $4k+3$ between $n$ and $2n$ for all $n>6$.

See also Equinumerous, Prime Number