log_2(1 - (1- 1 / {2^255}) ^ (2^64))