已知导数为1/√x,则原函数为