I have non-negative function that is define using non-negative in the following way:
I am trying to maximize . Using Fatou's lemma we have that
I also have that where
My question when does the last inequality hold with equally?
What do I have to assume about and for equality to hold?
Can I apply dominated convergence theorem here?