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