log(10^20 choose 100)