ポアンカレの補題．重積分と累次積分．パラメータによる微分と積分の順序交換．

区間．集合の列の和と交わり．2の100乗を8桁電卓で計算する．2100 = 126 7650 6002 2822 9401 4967 0320 5376.

codeword の長さの平均がエントロピー以上であること．