Proof of Bertrand's postulate (source code)

= Proof of Bertrand's postulate
{wiki=Proof_of_Bertrand's_postulate}

Bertrand's postulate, also known as Bertrand's theorem, states that for any integer \\( n > 1 \\), there exists at least one prime number \\( p \\) such that \\( n \< p \< 2n \\). In simple terms, the theorem asserts that there is always at least one prime number between any number \\( n \\) and its double \\( 2n \\).