Comment Comment by knuthsat Or https://en.wikipedia.org/wiki/Prime-counting_function . parent knuthsat 4 years ago