converges

not defined yet