higher bound in height