Necessary and sufficient conditions for the existence of IME(A), the iterated maximal essential extensions of an associative ring A, are given. Some properties of IME(A) are described, in particular, when A is semiprime. Examples of prime rings A for which IME(A) does not exist are constructed.