// Test limit.
$ lim_(n->oo \ n "grows") sum_(k=0 \ k in NN)^n k $