Maximum (finite) variable bound.