when n = 5
2^5 > 5^2v , P(5) is true

assume P(k) is true, i.e. 2^k > k^2
consider n = k+1
2^(k+1) > 2*k^2 = (k+1)^2 + k^2 - 2k - 1 = (k+1)^2 + (k-1)^2  - 2 > (k+1)^2
since k > 4, (k-1)^2 - 2 > 0, therefore (k+1)^2 + [(k-1)^2 - 2] > (k+1)^2

QED