higher bound for the

stack frame width of stack frames for

function less stack width✕