证明数列极限的格式有哪些