Подскажите пожалуйста, существует ли формула или алгоритм для определения максимального натурального числа, не представимого в виде суммы двух натуральных? Более формально: есть взаимно простые числа

. Найти максимальное число

, которое нельзя представить в виде

где

- неотрицательные целые.
Мне известен способ решения этой задачи через диофантовы уравнения - находятся такие

что

, откуда получается частное решение уравнения

, затем анализируется семейство

,

на предмет неотрицательных решений. Подскажите пожалуйста, есть ли более простая формула/алгоритм? Как эта задача обобщается на бОльшее количество переменных? Где может быть изложена теория, связанная с этой задачей?
Арсений Трушин.