The product of two subsets C, D of a group is defined as
. The power Ce is defined inductively by C0 = {1}, Ce = CCe−1 = Ce−1C. It is known that in the alternating group An, n > 4, there is a conjugacy class C such that CC covers An. On the other hand, there is a conjugacy class D such that not only DD≠An, but even De≠An for e<[n/2]. It may be conjectured that as n ← ∞, almost all classes C satisfy C3 = An. In this article, it is shown that as n ← ∞, almost all classes C satisfy C4 = An.