(let previous_prime ≝ (nth_prime n) in
let upper_bound ≝ S previous_prime! in
S previous_prime ≤ min upper_bound (S previous_prime) primeb)
(let previous_prime ≝ (nth_prime n) in
let upper_bound ≝ S previous_prime! in
S previous_prime ≤ min upper_bound (S previous_prime) primeb)