higher bound for height