log(2,binomial(256,125))