higher bound in height✕