P
Initializing...
Perron values have limsup at least two · Prove2Me