Limit[PrimePi[n]/n, n -> Infinity]