Thanks for the suggestion, Dr. Silverman. When I made the substitution I wound up with a log(log(n)) term in the denominator that I'm not sure how to get rid of.

I tried estimating some more, but I still can't figure out where the factor of 8 in the term

comes from.

Thanks again, Dr. Silverman.