Correct

Correct

In such questions, I can suggest you to always mention the domains of the variables, i.e.,

Assume that for all , then

we have

for all ,

which implies that (dont forget that is constant and is independent of )

is bounded below by a constant , and thus,

for all .