P
Initializing...
An elementary bound for a real power of two · Prove2Me