P
Initializing...
$|\log x|\le\log 2$ on $[1/2,2]$ · Prove2Me