Log(b,x):=log(x)/log(b);

a:Log(5,7);

log(5+2)/log(5);

b:sqrt(2);

is(a<b);

float(a<b);