[math-fun] A new formula of the natural logarithm of a positive real and curious identities ..