lim n->inf 0*n