[math-fun] A faster algorithm for π(x)