higher bound on height
stack overflow proof stack proof
bound✕ ___
↺ Reset
See RandomAbout