geq

function (geq a b) → True if a >= b