Starting from , remove the central fraction of every stage- interval. The total length obeys , which telescopes to the displayed value. The limiting intersection has Lebesgue outer measure at most by covering it with the stage intervals and slightly enlarging them to open intervals. This argument uses no integration.
Articles by others on the same topic
There are currently no matching articles.