2\cdot 2^n>n^2+2n+1