# Prove $EXP \subset E^E$

I'm trying to prove $EXP \subset E^E$ (strictly).

I believe I need to construct my own $A \in E^E$ and show that $A \notin EXP$, but I cannot think of a smart way of doing that.

Thanks.

The class $E^E$ contains 2E, which is the class of problems solvable in iterated exponential time. The reason is that the E oracle can be applied on a padded input of exponential size. The time hierarchy theorem separates 2E from EXP.
• To elaborate, are you saying we can express $E$ in terms of $DTIME(...)$ (i.e without an oracle), and show that it's strictly greater then $EXP=DTIME(2^{n^c})$? Because then, the conclusion comes directly from the time hierarchy theorem. – galah92 Aug 1 '18 at 10:20