higher bound on height

stack overflow proof stack proof