Using nonstandard analysis, we provide a simple proof of existence in an infinite productive economy. Special care has been taken to make the proof accessible to readers familiar with Debreu's Theory of Value, and the elementary procedure for deriving asymptotic results is also described.