If $ E_\infty $ is finite, then $ P_\infty $ is zero - Adam Siembida
If $ E_\infty $ is finite, then $ P_\infty $ is zero - Bill Snow
If $ E_\infty $ is finite, then $ P_\infty $ is zero - Joseph Yu