is an integer that specifies the maximum number of occurrences of a
  table element.  Its value must be greater than min-times.