Skip to main content
MathOverflow

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

7
  • $\begingroup$ In the third paragraph you first write $\mu(B)=\epsilon$, and immediately after $\mu(B)>\epsilon$. I think you want the first equality to be an inequality as well. $\endgroup$ Commented Jan 8, 2019 at 15:50
  • $\begingroup$ @Wojowu Yeah, I caught that at the same time. $\endgroup$ Commented Jan 8, 2019 at 15:53
  • $\begingroup$ Beautiful @NoahSchweber - and lightning fast! $\endgroup$ Commented Jan 8, 2019 at 15:54
  • 3
    $\begingroup$ Not a fascinating remark, but the proof also holds with a limsup in the definition of $\mu$. $\endgroup$ Commented Jan 8, 2019 at 16:34
  • 2
    $\begingroup$ @PierrePC Indeed, and that's actually how I (mis)read the question. :P $\endgroup$ Commented Jan 8, 2019 at 17:15