higher bound on height
stack overflow proof stone fall
___