Если последовательность

представлена непрерывной функцией

, то имеет место соотношение
![$\sum \limits_{n=a}^b f(n)= \int \limits_a^{b+1} f([x]) dx=F(b+1)-F(a) , (1)$ $\sum \limits_{n=a}^b f(n)= \int \limits_a^{b+1} f([x]) dx=F(b+1)-F(a) , (1)$](https://dxdy-03.korotkov.co.uk/f/e/3/0/e302de349339bfd15872ce4065b9a73382.png)
, где [x] - целая часть числа х, F(x) - некоторая непрерывная функция удовлетворяющая данному соотношению (ее можно определить как первообразную от функции
![$f([x])$ $f([x])$](https://dxdy-03.korotkov.co.uk/f/2/8/f/28f18bee27453001f26c719b778f0f4882.png)
, если принять, что

для любого целого k).
Мною было замечено, что для каждой функции f(x) существует бесконечно много F(x), которые удовлетворяют равенству (1), но это глупо и не главное. Рассмотрев некоторые конкретные примеры я заметил, что для конкретной функции f(x) существует F(x) такая, что она содержит в себе (каким либо образом, например, в качестве слагаемого или множителя) первообразную от функции f(x).
Предлагаю доказать или опровергнуть последнее утверждение.
P.S. Задача очень манящая, поскольку в результате выявления общих закономерностей возможно сформулировать теорему для вычисления суммы ряда значений произвольной непрерывной функции f(x)
P.P.S. Изначально рассматривал данную задачу для бесконечного верхнего предела и определял функцию F(x) не как произвольную, а именно как первообразную от функции f([x])