In the topic we showed that for any irrational the limit
does not exist. In this topic, we consider the following limit
To be precise, we prove that
for almost every .
Then is a measurable set of measure . Moreover, for any ,
Indeed for any , since
is dense subgroup of there are sequences and of such that
admits a subsequence either increasing to or decreasing to . If then