证明:函数f(x)=lnx+3x+1的零点有且只有一个.