higher bound for the

function less or equal less✕