P
Initializing...
Sharpness: the constant $\frac{5}{8}$ is attained for every $n \ge 3$ · Prove2Me