In (c) with 1-based ranges the size of the range is present in the range. There is no calculating because the value is there. 1 <= x <= size

One argument for the notation (not 0 vs 1 based ranges) is that notation (a) offers easier detection of adjacent ranges. This is irrelevant to the 0 and 1 based range debate.