C'est de la logique.
Il faut traiter par cas.
Pour N = 100 il reste 100 tigres.
Aucun tigre ne va oser manger le mouton au risque de se faire manger à son tour. Car il y a un équilibre stable quand le nombre est pair.
Faisons par recurrence par exemple. Pour N = 0, le mouton reste seul. Pour N = 1, le tigre est seul donc mange le mouton et ne risque rien après.
Si N = 2, aucun tigre ne va oser toucher au mouton. Sinon on se ramène au cas précédent. Ainsi de suite.
De façon générale il reste N (si N pair) et N-1 (si N impair)