b) Tương tự như câu a ta kiểm tra được với \(n\ge7\) thì \(2^n>n^2+4n+5\). (*) Với n = 7. \(2^7=128\); \(n^2+4n+5=7^2+4.7+5=82\). Vì \(2^7>7^2+4.7+7\) nên (*) đúng với n = 7. Giả sử điều cần chứng minh đúng với \(n=k\). Nghĩa là: \(2^k>k^2+4k+5\). Ta cần chứng minh nó cũng đúng với \(n=k+1\). Nghĩa là: \(2^{k+1}>\left(k+1\right)^2+4\left(k+1\right)+5\). Thật vậy từ giả thiết quy nạp suy ra: \(2^{k+1}=2.2^k>2\left(k^2+4k+5\right)=2k^2+8k+10\) \(=\left(k+1\right)^2+4\left(k+1\right)+5+k^2+2k\)\(>\left(k+1\right)^2+4\left(k+1\right)+5\). Vậy điều cần chứng minh đúng với mọi \(n\ge7\).