an=1+2+3+...n通项公式是什么