P
Initializing...
The average first closure time is at least `√n / 2`. · Prove2Me