Joseph Yu
Proof the property for if $ E_\infty $ is finite then $ P_\infty $ = 0
Proof:
We know that the the relation between $ P_\infty $ and $ E_\infty $ is, $ P_\infty = \displaystyle\lim_{T\to\infty} \dfrac{E_\infty}{2T} $
So when $ E_{\infty} < {\infty} $, thus we can know that $ P_\infty = \displaystyle\lim_{T\to\infty} \dfrac{E_\infty}{2T} = \dfrac{E_\infty}{\infty} = 0 $
