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