Simplify the following text for a Grade 10 native English-speaking person.
Original: In mathematics , a Ramanujan prime is a prime number that satisfies a result proven by Srinivasa Ramanujan relating to the prime-counting function .
Simplified: In mathematics , a Ramanujan prime is a prime number that satisfies a result proven by Srinivasa Ramanujan .