This step is relatively easy. Let , we may choose a local normal coordinate in a neighborhood of , such that
| (2.1) |
|
|
|
In this paper, we will always work under this coordinate unless specified otherwise.
Choose the constant to be .
Under this coordinate, we can calculate:
| (2.2) |
|
|
|
In the second line above, we used the arithemetic-geometric inequality:
|
|
|
Now let be such that the function achieves minimum at , then from (2.2), we see
| (2.3) |
|
|
|
This gives a lower bound for , depending only on bound for .