GEq package:explainable-predicates

A Predicate that accepts anything greater than or equal to the given value.
>>> accept (geq 5) 4
False

>>> accept (geq 5) 5
True

>>> accept (geq 5) 6
True