摘要
In spite of the Lebesgue density theorem, there is a positive δ such that, for every non-trivial measurable set S⊂ℝ, there is a point at which both the lower densities of S and of ℝ∖S are at least δ. The problem of determining the supremum of possible values of this δ was studied in a paper of V. I. Kolyada, as well as in some recent papers. We solve this problem in the present work.