lim x→∞ x