higher bound for the

function is always upper✕