f(x):=2*x-log(x);

fp(x):=''diff(f(x),x)=0$fp(x);

solve(%,x);

y >= f(1/2);

float(%);