Explicit error bound of the elliptic asymptotics for the first Painlevé transcendents - Shun Shimomura (2023)