higher bound for the

stack frame in bound stack frames is

stack depth stack depth bound✕