Detectability of critical points of smooth functionals from theirfinite-dimensional approximations