(log 2)² + π² and (log 3)² + π² are not both rational · Prove2Me

P

Initializing...

(log 2)² + π² and (log 3)² + π² are not both rational · Prove2Me