Removing a small open set from $[0,1]$ leaves a compact set of measure greater than $1-\eta$

Initializing...

Removing a small open set from $[0,1]$ leaves a compact set of measure greater than $1-\eta$ · Prove2Me