“…If t s is the geodesic defining function for g s , (with boundary metric γ), then the Fefferman-Graham expansion givesḡ s = dt 2 s + (γ + t 2 s g (2),s + · · · + t n s g (n),s ) + O(t n+1 ). The estimate (5.40) implies that t s = t + sO(t n+2+α ) + O(s 2 ), so that modulo lower order terms, we may view t s ∼ t. Taking the derivative of the FG expansion with respect to s at s = 0, and using the fact that X is Killing on (∂M, γ), together with the fact that the lower order terms g (k) , k < n, are determined by γ, it follows that, forκ as in (5.37), (5.42)κ = 1 2 L X g (n) , at ∂M .…”