Hello noles2188I'm not sure whether this proof conforms to your definition of a counting number (which I haven't seen before), but the standard 'induction' proof of this is:

Let be the propositional function: .

Then

Now is: , which is true.

So by induction, is true for all

Grandad