limit(x to inf) (1-5x^3)