higher bound on height

stack top most stack able top