Modified Cantor set with telescoping remaining lengths
ID: modified-cantor-set-with-telescoping-remaining-lengths
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.
New to topics? Read the docs here!