[math-fun] An infinite product for the logarithm