Primitive of Reciprocal of Logarithm of x/Proof 1