ARP_ATLANTA

lim n∞ P[|1/nΣXi - 1/nΣEXi| < ε] = 1

No works to show