are you sure this is for n <= 0? that would mean we are doing induction for negative integers, not completely strange, but very uncommon. also, it is trivial to use induction for such a claim, since 2^n is always positive, while n is nonpositive for n<=0. clearly it will always be the case 2^n > n under such conditions.