Notes for BBS/24-327-241010-173958.jpg

Note that there is a minor mistake at the end. It should be

"Union $=[0,m+\epsilon)\subset A$ $\Logrightarrow$ $m+\epsilon/2\in G$