用定义证明函数y=1+2x/x,当x趋近0时的无穷大.