redhat
Верно.
Сначала докажите для

, поделив обе части, например, на ненулевое

и воспользовавшись тем фактом, что

плотно заметает отрезок
![$[0;1]$ $[0;1]$](https://dxdy-03.korotkov.co.uk/f/2/1/a/21ad730ee7df0b97abd700cb0f8426e682.png)
(или заново доказав этот факт).
После этого переход к произвольному

можно сделать, "придвинув" комбинацию

к

на расстояние не более

"шагами" величины менее

(если понятно, о чём я).