Input (grade 13): In mathematics, a Ramanujan prime is a prime number that satisfies a result proven by Srinivasa Ramanujan relating to the prime-counting function.
Output (grade 11): In mathematics, a Ramanujan prime is a prime number that satisfies a result proven by Srinivasa Ramanujan.