Local estimate of fundamental groups - Guoyi Xu (2019)