leq

function (leq a b) → True if a <= b