Я боюсь, что слишком усложняю. уже несколько человек высказались, что то, что такой функции не существует, очевидно. Вероятно, очевидность связана или с компактностью, или с непрерывностью
![$\mathbb R$ $\mathbb R$](https://dxdy-04.korotkov.co.uk/f/b/c/0/bc0baa1bd1772406881ea71a3524054d82.png)
. Но я никак не догадаюсь, да и сил нет после затянувшегося лета.
Моё доказательство немножко неуклюжее. Предположим, что функция, определённая в каждой точке
![$\mathbb R$ $\mathbb R$](https://dxdy-04.korotkov.co.uk/f/b/c/0/bc0baa1bd1772406881ea71a3524054d82.png)
и имеющая в каждой точке бесконечный предел, существует. Рассмотрим её на произвольном отрезке, скажем,
![$[0,1]$ $[0,1]$](https://dxdy-03.korotkov.co.uk/f/a/c/f/acf5ce819219b95070be2dbeb8a671e982.png)
. Рассмотрим множество полуотрезков
![$(n,n+1], n\in \mathbb Z$ $(n,n+1], n\in \mathbb Z$](https://dxdy-02.korotkov.co.uk/f/d/7/4/d744a96c7e7d7e21074d8d2efcc4bfec82.png)
. Каждое значение функции принадлежит ровно одному полуотрезку. Предположим, что для каждого полуотрезка значений функции существует лишь конечное число значений аргумента, значения функции для которых принадлежат этому полуотрезку. Но в этом случае множество значений аргумента можно пересчитать. То есть получается, что множество действительных чисел на отрезке счётно, что противоречит принятым представлениям об их несчётности. То есть, существует полуотрезок
![$(m,m+1]$ $(m,m+1]$](https://dxdy-01.korotkov.co.uk/f/0/d/2/0d2bcad078ce10b6cc40adc2bb066e6982.png)
, для которого существует бесконечное число значений аргумента на отрезке
![$[0,1]$ $[0,1]$](https://dxdy-03.korotkov.co.uk/f/a/c/f/acf5ce819219b95070be2dbeb8a671e982.png)
, значения функции для которых принадлежат полуотрезку
![$(m,m+1]$ $(m,m+1]$](https://dxdy-01.korotkov.co.uk/f/0/d/2/0d2bcad078ce10b6cc40adc2bb066e6982.png)
. У бесконечного множества точек на отрезке существует предельная точка. Рассмотрим предел функции в этой точке. Он не может быть бесконечным, так как в любой окрестности этой точки существуют точки, в которых значения функции принадлежат полуотрезку
![$(m,m+1]$ $(m,m+1]$](https://dxdy-01.korotkov.co.uk/f/0/d/2/0d2bcad078ce10b6cc40adc2bb066e6982.png)
, где
![$m$ $m$](https://dxdy-01.korotkov.co.uk/f/0/e/5/0e51a2dede42189d77627c4d742822c382.png)
, напомню, фиксированно. Вот и получили точку, в которой предел не равен бесконечности.
Конечно, тому, кто исповедует счётность множества действительных чисел, доказательство не понравится. Но я на самом деле хотел бы увидеть более очевидное, чем это, хотя и оно, мне кажется, никакой сложности не представляет.