Documentation for upper bound.