Маємо такий факт:
Підставивши це у вираз для арифметичної прогресії, отримуємо
Можна використати бінарний пошук, оскільки функція зростає!
Складність O(log(nm).
Або ж просто продовжити розв'язання відносно a1:
Складність — O(1).