(a_n)_{n in setN} "螳滓焚繧堤畑縺縺ヲ螳夂セゥ縺吶k縲" sum from n=0 to infty a_n " 蛻励′豁」遒コ縺ォ蜿取據縺吶l縺ー縲" newline
forall %epsilon > 0 ~ exists N in setN " : " left lline {sum from k=m to n a_k} right rline < ~ %epsilon " 縺ァ縺ゅk縺ィ縺阪縲√☆縺ケ縺ヲ " n >= m >= N" 縺ォ縺ェ繧九"</math:annotation></math:semantics></math:math>