What Shelah proved was aleph_omega^(aleph_0) <= 2^(aleph_0)+ aleph_(omega_4) See www.math.rutgers.edu/~shelah/pcf.html The proof is complicated and uses his new pcf theory as explained in his book "Cardinal Arithmetic." Juliette Kennedy University of Helsinki