Eсли

,

, тогда существует

для которой:
Профессор который задал этот вопрос сказал что это теорема Безиковича, но я искал и не нашел такой теоремы.
я не могу решить. Я понял что эта

должна быть на границе множества потому что по теореме плотности Лебега, для почти всех точек в

, мера равняется

, и на

, мера равняется

.
еще я заметил то что
Кроме этих идей, у меня идей нету...
Тред на

:
http://math.stackexchange.com/questions/1608528/theorem-about-the-liminf-and-limsup