换一种说法，而且这种说法很重要（重要的事情说三遍！）
老千掷出的序列几乎可以肯定有差不多 n/3 个1 和 2n/3 个0！
老千掷出的序列几乎可以肯定有差不多 n/3 个1 和 2n/3 个0！
老千掷出的序列几乎可以肯定有差不多 n/3 个1 和 2n/3 个0！
同学们再好好体会一下俺极其考究、极负责任、极具情怀的用词：“几乎可以肯定”和“差不多”。
这个重要结论很容易推广到掷硬币之外的任意随机变量：假设随机变量 x 是通过一个在集合 s={1， 2，…， m}上定义的概率分布函数 描述的。那么当俺们产生 n 个相互独立的这样的随机变量的时候，如果 n 是个很大的数字而 a 是 s 中的任意一个数，那么：
产生的随机序列几乎可以肯定有差不多 n*个 a ！
产生的随机序列几乎可以肯定有差不多 n*个 a ！
产生的随机序列几乎可以肯定有差不多 n*个 a ！
也就是说，虽然得到的序列本身是随机的，不确定的，但是当 n 很大的时候，这个序列的组成“几乎”是“差不多确定的”！而且可以想象，当 n 无穷大的时候，这里的“几乎”和“差不多”都可以删去！
在老千掷硬币这个例子里，如果一个硬币的序列有差不多 n/3 个1 和 2n/3 个0，那么俺就管这种序列叫“典型序列”。在更普遍的意义上，相对于一个在s 上定义的分布 ，一个由 s 里的数字组成的长度为 n 的序列俺也管它叫典型序列，如果 s 里的每个数 a 在这个序列中出现了差不多 n*次。在典型序列定义中的“差不多”是差多少？呵呵，跟前面的逻辑一样，如果 n 很大，差不多就是差一丁点，如果 n无穷大，差不多可以是“一点不差”！
那么上面重要的说了三遍的话用这个语言重新说，就是：
老千掷出的序列几乎可以肯定是典型的！
老千掷出的序列几乎可以肯定是典型的！
老千掷出的序列几乎可以肯定是典型的！
当 n 无穷大的时候，这句话里的“几乎”当然也是可以删掉的。也就是说，在 n 无穷大的时候，不典型的序列根本不会出现！那么，你问问题的时候岂不是只需要针对典型序列问问题就行了？
正是如此！
那咱们看看典型序列一共有多少个。把这个要算的数记作 t。
首先注意一下每个典型序列有多大的概率被老千掷出来。因为每个典型序列“差不多”由 n/3 个1 和 2n/3 个0 组成，而这个序列中的所有随机变量又是相互独立的，那么，每个典型序列被掷出来的概率“差不多”就是(1/3)^(n