int(t*sqrt(ln(t)),t)