Binet's Formula for Logarithm of Gamma Function