In most compilers at least one of those assertions would be false.These are the short and long qualifier rules.
long long is not smaller than long, which is not smaller than int, which is not smaller than short. Very clear, right.
I recommend revising that to:
long long is not necessarily smaller than long, which is not necessarily smaller than int, which is not necessarily smaller than short. Very clear, right.