idealizing_infinity