Я, кажется, перепутал необходимость и достаточность, но один чёрт: ни той, ни другой нет. Как же Ваш пример, не знаю. Серая кошка не доказывает, что все кошки серы.
Почему не существует? Мне это не очевидно. Обоснуйте!
Потому что обратная функция - медленно растущая, что-то типа логарифма, на каждый отрезок между двумя целыми попадает не одно её значение, а множество - десятки, сотни, дальше хуже; и они раскиданы по разным его частям.
Как угодно боюсь не получится. И при том, Вы представили себе границу дробной части обратной функции? Даже если соединить точки прямыми, то чему будет равен предел дробной части такой функции?
ОК, соедините прямыми в указанном порядке. Да, представил. Предел не будет существовать, что для обратной функции, что для прямой. А суммарный

- будет.