paperOn a recursively defined sequence involving the prime counting functionarXiv:2006.08013AbstractWe prove some properties of the sequence {an}n≥1 defined by an=π(n)−π(∑k=1n−1ak).