Law of large numbers/Proof