Assumption 4 is very general and rather technical. For the present
purposes it suffices to note that Assumption Smooth GAN implies the
validity of Assumption 4 (justification of this is given in Appendix
C). Alternatively, Assumption 4 also holds under much weaker conditions and can
be verified using a variety of different methods in empirical process
theory (for details, see [1]}).
