Is convergence certifiable?