This is correct. If and are positive, then this inequality is equivalent to , and the first integer x for which this holds is where is the ceiling function. Note that and for any positive z and base b. For b = e you get natural logarithm ln(), and for b = 10 you get common logarithm often denoted by lg().