Towards a Precise Formula for Counting Prime Numbers