P
Initializing...
The rounded Karatsuba factor satisfies a fifth-power estimate · Prove2Me