int(t/sqrt(ln(t)),t)