Пассажиру
нужна сдача
.
Только если
Сдачу
рублей нужно дать тем и только тем пассажирам, которые дали
рублей. Такую сумму дали пассажиры с номерами - делители числа
. Причем не все делители, а те, которые больше
. Или, надо доказать, что количество делителей числа
, больше
, не превосходит
- число монет достоинством
в наличии у водителя.
Если число таких делителей
, то наименьший из них не больше
(в лучшем случае делители будут
)
что и требовалось доказать.
Следовательно, монет для сдачи у водителя всегда хватит. В некоторых случаях хватит без остатка. Например, стоимость перевозки 51 руб. Водитель получает шесть монет достоинством 9 руб. И всех их отдает пассажирам с номерами
.