1: $ by dominated convergence.

2: \end{proof}

3: 

4: \subsection{Classification of state $