(2^(3072/2) / ln(2^(3072/2))) - (2^(3071/2) / ln(2^(3071/2)))