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