(Sketch) Consider .
The leading order asymptote of is obtained by replacing with the constant and replacing with . At ,
|
|
|
We then need to estimate the deviation of from this leading asymptote.
After writing the surface integral as an integral over plane, we reduce to the flat graph case . Writing
|
|
|
we observe that the linear term does not contribute to by parity, and the contribution is bounded by
|
|
|
We now consider the normal first derivative for assuming without loss of generality that . After using the Taylor expansion and parity trick above, modulo bounded terms
|
|
|
where is the mean curvature of at the origin.
In the same setup, the tangential first derivative is modulo bounded terms
|
|
|