higher bound for height

of stack in efficiency