 The computation is valid only if formula_58.In summary, our lower bound for the area of the Finsler isometric filling converges to formula_59 as the collection formula_60 is densified.This implies that

as we had to prove.