Law of large numbers in probability definition