What is the antiderivative of #7/x#?