The counterargument is actually relatively simple, because it's an argument over what the definition of size_t is, and you can simply go look to the C standard and find the definition there.
If I change the argument to: size_t is capable of holding the largest array index", then this must be correct, or is there still something I missed?