Function law_within_cap_iff_not_greater 

pub fn law_within_cap_iff_not_greater(len: u64, max: u64) -> bool