for a, b being Real st 1 < a & 0 < b & b < 1 holds
log (a,b) < 0