P
Initializing...
The bridge: Problem 97 implies the 3n bound and Problem 96 · Prove2Me