higher bound on height

stack overflow proof builders