Text this: The generalization and proof of Bertrand's postulate