I have a question regarding the proof of theorem 4.6 in <https://arxiv.org/abs/1007.3899> (Hall's conjecture).


Let $S^2$ be the class of Borel subsets in $\mathbb{R}^2$ with finite and positive Lebesgue measure $|\, .\, |$. For a given set $E\in S^2$ we denote with $B\_E$ the ball centered in the origin with $|E|=|B\_E|$, and $P(E)$ the perimeter of $E$ (see <https://en.wikipedia.org/wiki/Caccioppoli_set>). 


For $E\in S^2$ let
$\delta P(E):=\frac{P(E)-P(B\_E)}{P(B\_E)}$ and $\alpha(E):=\inf\limits\_{x\in\mathbb{R}^n}\frac{|E\triangle (x+B\_E)|}{|B\_E|}$. And for $E\in S^2$ with $\alpha(E)>0$ define $Q(E):=\frac{\delta P(E)}{\alpha(E)^2}$.


In the proof of theorem 4.6 it is claimed: If $(E\_j)\_j\subset S^2$ is a sequence of sets such that $$\lim\limits\_{j\to\infty}Q(E\_j)= Q(B) \text{ and } \lim\limits\_{j\to\infty}\|H\_j-1\|\_{L^\infty(\partial E\_j)}=0,$$ where $H\_j$ stands for the mean curvature of the boundary $\partial E\_j$ and $B:=B\_1(0)$, then there exists a $j\_0>0$ such that $E\_j$ is a convex set for all $j\ge j\_0$.


Does anyone know why that holds (i.e. how the convexity is concluded)? Or do you know any reference for an anything which helps to show the convexity? I appreciate any help.


**Edit:** I have found the book "Lecture Notes on Mean Curvature Flow " by Carlo Mantegazza, where in the section 4.5.1 about "an alternative proof of Grayson's theorem" there can be found a similar argument (in the last section before remark 4.5.8), namely roughly: Let $\gamma\_t$ be the curvature flow of a closed, embedded, smooth curve in the plane, $\tilde{\gamma}\_{q\_i}$ a certain new sequence of rescaled curves with uniformly bounded curvatures in $L^2$, such that a certain subsequence converges in $C^2$ to a limit curve which is a unit circle. Assuming that the $\tilde{\gamma}\_{q\_i}$ has positive curvature, then they curves are convex.


Thus, I think there is a general fact which I don't know (I am not an expert in this field), giving convexity under assumptions that some sequence converges to the unit ball and an extra assumption abouts it's curverture. 



convergence and a mean curvature condition imply convexity
Actually one does not use the convergence of $Q(E\_j)$, but one implicitly use (iii) of theorem 3.2: your sets are the interiors of Jordan curves that are $C^1$ close to the unit circle. Then positive curvature implies convexity, and since the curvature goes to $1$ uniformly, it is eventually positive.


To see that positive curvature of a Jordan curve implies convexity, look at any $x\in E\_j$ and consider the subset $E\_j'$ of points $y$ such that the geodesic segment $[xy]$ is in $E\_j$. If this is not the whole of $E\_j$, then you can find an interval $(xy)$ that touches the boundary tangentially. This is in contradiction with the positivity of curvature.


