Fonction strictement croissante sur les entiers naturels