#5248 assume(x>2)$ is(log(x)>log(2)) -> unknown

[David Scherfgen]

This weakness could probably be fixed:

(%i1) assume(x>2);
(%o1)                               [x > 2]
(%i2) is(log(x)>log(2));
(%o2)                               unknown