1: \begin{proof}
2: Let $w \in C_0^{\infty}(B_r \setminus \{0\})$. As before we compute
3: \[
4: \int_{B_r^+(x_0)}|\nabla w|^2 x_n^a
5: -2\int_0^1 \int_0^{\alpha} \frac{1}{\epsilon}\int_{B_{r}'(x_0)\cap \{|u+\tau tw|<\epsilon\}}w^2 \ d \H^{n-1} \ d\tau \ d\alpha \\
6: \]
7: Since for $s<1/2$, $|\nabla u|\to \infty$ as we approach the set $\{u=0\}$, for $t$ small enough $|\nabla u + \tau tw|\neq 0$. We now show how
8: to rigorously apply the co-area formula. On $|u|>\delta$, the solution $u$ is Lipschitz. Then
9: \[
10: \begin{aligned}
11: \frac{1}{\epsilon}\int_{B_{r}'(x_0)\cap \{|u+\tau tw|<\epsilon\}}w^2 d\H^{n-1}
12: &= \lim_{\delta \to 0} \frac{1}{\epsilon}\int_{B_{r}'(x_0)\cap \{|u+\tau tw|<\epsilon\}\cap \{|u|>\delta\}}w^2 d\H^{n-1}\\
13: &= \lim_{\delta \to 0} \frac{1}{\epsilon}\int_0^{\epsilon}\left(\int_{\{u+\tau tw=\theta\}}\frac{w^2\chi_{|u|>\delta}}{|\nabla u + \tau tw|} d\H^{n-2} \right) \ d\theta \\
14: &= \frac{1}{\epsilon}\int_0^{\epsilon}\left(\int_{\{u+\tau tw=\theta\}}\frac{w^2}{|\nabla u + \tau tw|} d\H^{n-2} \right) d\theta.
15: \end{aligned}
16: \]
17: Then
18: \[
19: \lim_{\epsilon \to 0}\frac{1}{\epsilon}\int_0^{\epsilon}\left(\int_{\{u+\tau tw=\theta\}}\frac{w^2}{|\nabla u + \tau tw|} d\H^{n-2} \right) d\theta
20: = \int_{\{u+ \tau tw=0\}} \frac{w^2}{|\nabla u + \tau tw|} d\H^{n-2}.
21: \]
22: So as before we obtain that
23: \[
24: A_0^t = \int_{B_r^+}|\nabla w|^2 x_n^a-4\int_0^1 \int_0^{\omega} \int_{B_{r}'(x_0)\cap \{u+\tau tw=0\}} \frac{w^2}{|\nabla u + \tau tw|} d\H^{n-2} d\tau d\omega.
25: \]
26: For fixed $w$, as $t\to 0$, $|\nabla u + \tau tw|\to \infty$, so that for fixed $w$,
27: \[
28: A_0^t >0
29: \]
30: for any $t\leq t_0$ with $t_0$ depending on $w$.
31: \end{proof}
32: