Assertion (ii) is always true. Since is infinite and ,
where the last equality uses . Thus the cardinal exponentiation between two and the exponent gives