galois.
prev_prime
Returns the nearest prime p <= x.
x (int) – A positive integer.
The nearest prime p <= x.
int