Доказать рекурсивно-примитивную рекурсию

[Ayelet]

Задача доказать, что функция рекурсивно-примитивная [log2(x)] - целая часть от логарифма
по условию сначала доопределяем f(0)=[log2(x)]=0
далее f(x+1)=[log2(x+1)]=... как действовать дальше? предподаватель говорит, что нужно через другую рекурсивно-примитивную функцию остаток от деления rest(x, y)

[Pphantom]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);
- отсутствуют собственные содержательные попытки решения задачи;
- текст стоит сделать менее сумбурным.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.