1: $

2: This function is well-defined by Benjamini-Schramm convergence of $