In  Galvin and Hajnal showed, as a corollary to a more general result, that if , is a strong limit cardinal, then . They established similar bounds for powers of singular cardinals of cofinality greater than ω. Jech and Prikry in  showed that the Galvin-Hajnal bound can be improved if we assume that ω1 carries an ω2 saturated ω1 complete, nontrivial ideal. (See  for definitions), namely: under the given assumption provided is a strong limit cardinal.
In this paper we show that the same conclusion can be derived from Chang's Conjecture (see below) which is, at least consistencywise, a weaker assumption than the existence of an ω2 saturated ideal on ω1. We do not know if assumptions like these are necessary for obtaining the result.
Our notations and terminology should be understood by any reader acquainted with set theory. Chang's Conjecture is the following model theoretic assumption introduced by C. C. Chang:
which is deciphered as follows: Every structure 〈A, R,…〉 in a countable type where ∣A∣ = ω2, R ⊆ A, ∣R∣ = ω1 has an elementary substructure: 〈A′,R′,…〉 where ∣A′∣ = ω1 and ∣R′∣ = ω0. The consistency of Chang's Conjecture modulo the existence of Ramsey cardinals is claimed in .