And finally, by the induction hypothesis, we know that two times factorial n is greater or equal than two times power of two to the nth, because our induction hypothesis was that factorial of n is greater or equal to power of two to the nth. 