P
Initializing...
A sharp bound with one linear variable · Prove2Me