In IMT, on page 5, it is stated that the length of any interval , is given by
where and denotes the cardinality of a finite set . For smaller values of this can be directly tested using a spreadsheet. For larger values of we can just calculate the range of values of which lie within the interval and obtain the result from there. For example, for the open interval we obtain the following
As increases the value obtained approaches the actual value .