You did not answer the question of SIZE_MAX being the limit. So here it is once again:
> Doesn't it imply that it must be finite, because you can use sizeof() to find its size, which yields something of type size_t, which has maximum size SIZE_MAX?
> Doesn't it imply that it must be finite, because you can use sizeof() to find its size, which yields something of type size_t, which has maximum size SIZE_MAX?
That's a very interesting question that got me thinking for quite a while and the only conclusion I reached is that you deserve an upvote.