@HTHR it's the smallest natural number x for which π (x) > li(x)

(π in this context is the prime-counting function, you give it a number and it tells you how many primes there are less than it)