Add Axler (2014) prime count bounds
Comment changes in prime_count_approx comparisons