Farey trupmenų skirstinio tolygumas

Santrauka

Tegu F_x žymi neneigiamu trupmenu m/n aibę,  čia 0 < n < x ir (m, n) = 1. Intervalui I ⊂ (0;+∞), I = (λ₁, λ₂) apibrėžkime F (u|x, I) = #(F_x ∩ (λ₁;λ₁ + u(λ₂ - λ₁))/#(F_x ∩ I). Straipsnyje nagrinėjami nuokrypio |F (u|x, I) - u|, 0 < u < 1, įverčiai.