I feel like there should be an upper bound with a div2 in there
but I'm not sure what it is exactly

certainly the delta between the current upper bound and sum-of-logs
grows as n grows