See https://math.stackexchange.com/questions/4216831/what-does-c... for some discussion on convergence using constructive mathematics.