(of Corollary 1.5)
Define , first we show that is a constant.
By the assumption, we can take a sequence of , and a constant , such that
| (6.13) |
|
|
|
Define .
Let , the Laplace operator in defined by the metric .
Also we denote , then .
Hence in , and (6.13) implies
| (6.14) |
|
|
|
Proposition 6.1 shows that there exists a positive constant , independent of , such that and in . Rescaling back, we find that in . Sending , we get on . Namely we have for some on .
Then we may use Evans-Krylov theorem to conclude for some
|
|
|
In terms of , this implies
|
|
|
Letting , we obtain , for any . This implies the Levi Hessian of is constant.
∎