Мне нужно решить это:
(n + a)^k < m^n
Учитывая a,k,m, мне нужно найти наименьшее n, разрешающее неравенство.
Единственное, что я придумал, это:
search :: Integer -> Integer -> Integer -> Integer
search a k m =
if (inf!!0+a)^k < m^inf!!0) then inf!!0
По сути, я уже сделал список из [0..∞] и пытаюсь прочитать каждый элемент, начиная с 0, но я не могу перейти от первого элемента ко второму и так далее.
Я могу использовать дополнительные уравнения с любым типом, который я хочу, но сигнатуру search нельзя изменить.
