P
Initializing...
Remark 3: strict and tight examples exist · Prove2Me