higher bound on height
of a stack able tower
proof stack ___