Redirecting to Bertrand's postulate