“…Therefore, by Sector Theorem and Main Theorem, M has a finitely generated fundamental group. ✷ Remark 5.5 Under the assumption in Theorem 5.3, or Corollary 5.4, it follows from [MNO,Theorem 0.1] that (M, p) admits the asymptotic cone via rescaling argument, i.e., the pointed Gromov-Hausdorff limit space of ((1/t)M, p) exists as t → ∞, and the space is, naturally, isometric to a Euclidean cone (see [G2,Definition 3.14] for a definition of the pointed Gromov-Hausdorff convergence). However, one should notice again that our models in Theorem 5.3 and Corollary 5.4 have been constructed from any complete open Riemannian manifold with an arbitrary given point as a base point, and that the metrics (5.9) in Theorem 5.3 and Corollary 5.4 are not always differentiable around their base points.…”