lim(n−sqrt(n^2+n+1), n -> +inf)