1. n ∈ N and $P(n) : n! − 2^n > 0$.
2. $P(4) : 4! − 16 > 0$ is true.
3. $P(m)$ is true, m ≥ 4.
4. $m! − 2^m > 0$, from step 3.
5. $(m+1)! − 2^{m+1} = (m+1)\cdot m! − 2\cdot2^m$.
6. $m+1 > 2$, from step 3.
7. $(m+1)(m! − 2^m)>m! − 2^m$, from steps 4 and 5.
8. $P(m+1)$ is true, from steps 4 and 6.
9. $P(m)⇒P(m+1)$.
10. From steps 2 and 9 infer P(n) is true.

I don't understand step 5. $(m+1)\cdot m! − 2\cdot 2^m$.