Def Prime-counting Function We define the prime counting function to be the number of prime numbers that less than or equal to . Thrm Def Function We define a function, Prop for , and for some