“…Moreover, (2.35) holds with K = 1; (Keith): [Kei02,Kei04]; if (X, µ) is a doubling metric measure space which satisfies the Lip-lip inequality (2.35), then (X, µ) is a differentiability space whose analytic dimension is bounded by an expression that depends only on C µ and K. Moreover [Kei03], the Poincaré inequality is stable under measured Gromov-Hausdorff convergence provided all the relevant constants are uniformly bounded; for example, blow-ups of PI-spaces are PI-spaces (with the same PI-exponent); (Bate-Speight): [BS13]; if (X, µ) is a differentiability space then µ is asymptotically doubling in the sense that for µ-a.e. x there are (C x , r x ) ∈ (0, ∞) 2 such that:…”