About method of types

Question: I was confused on the proof of Theorem 11.1.3 in yersterday’s class. And I am still confused after review the book and your notes many many times. I think that one of key points of Theorem 11.1.3 is that, under any source distribution $latex Q(x)$, the upper bound and the lower bound is true…