∫_{1}^{x}t^(-1)dt はx>0において単調函数であり、特に逆函数が存在する。
その逆函数をfとするとfの導函数は、1/(1/f)=f.
また、明らかにf(0)=1.