p-adic logarithm function