Почему long long не должен быть меньше long?

Long long не должен быть меньше long, потому что стандарт C определяет минимальные рамки для каждого целочисленного типа. ru.wikipedia.org

В частности, для long long установлено значение не менее 64 бит, в то время как для long — не менее 32 бит. ru.wikipedia.org habr.com

При этом реальный размер целочисленных типов зависит от реализации, то есть от компилятора и платформы. ru.wikipedia.org habr.com