Nikita: the latest news

Nikita expands his internet presence by attacking the Russian functional programming community: http://ru-declarative.livejournal.com/108182.html

Cute!

Try proving it isn't the identity function, i.e. assume f(n) ≠ n, then continue the proof by induction as you were.
No idea how it would go, but it's worth a try?