Határozzuk meg az összes olyan $f$ függvényt, ami a pozitív egész számok halmazát a pozitív egész számok halmazába képezi, és amire teljesül az, hogy teszőleges pozitív egész $a$ és $b$ értékekre van olyan nem-elfajuló háromszög, amelynek oldalhosszai $a$, $f\left(b\right)$ és $f\left(b+f\left(a\right)-1\right)$. (Egy háromszög nem-elfajuló, ha csúcsai nincsenek egy egyenesen.)