“…Mathematically rigorous results for the leading order asymptotics of E α (0), for α large, were obtained by Lieb and Yamazaki [36] (with non-matching upper and lower bounds) and by Donsker and Varadhan [9] as well as Lieb and Thomas [35]. The effective mass has been studied in [4,10,12,33,34,48]. Further improvements have been obtained for confined polarons or polaron models with more regular interaction [13,16,43].…”