is ln(x) < x for all x%3