255 - sum(i/2^256*log(i/2^256)*2^(255-i),i=1...infinity)/log(1/2