Theorem (Weierstrass)
The team problem admits a team-optimal solution if:
Remark
We require the cost function to only be lsc in the case of minimization as we’re approaching the “minimum” from above and hence, we only care for it to be well-behaved as we approach the minimum.