> -- Geniepro писал(а):
> В смысле -- правильная рекурсия сама себе инвариант!

Сначала получите её - правильную.
Проведите доказательство рекурсии - через неподвижную точку функции и т.п. - повеселитесь.