ｐ１１の定義関数のところで、
χ(x;limsupA_n)=limsupχ(x;A_n)
とありますが、なぜこうなるかわかりますか？