Macro sometimes_le 

macro_rules! sometimes_le {
    ($left:expr, $right:expr, $message:literal, { $($details:tt)* }) => { ... };
    ($left:expr, $right:expr, $message:literal) => { ... };
}

Asserts left <= right at least once, with numeric guidance on the two operands.