P
Initializing...
An element of density at least $3/8$ · Prove2Me