Legitimate equilibrium

We present a general existence result for a type of equilibrium in normal-form games, which extends the concept of Nash equilibrium. We consider nonzero-sum normal-form games with an arbitrary number of players and arbitrary action spaces. We impose merely one condition: the payoff function of each player is bounded. We allow players to use finitely additive probability measures as mixed strategies. Since we do not assume any measurability conditions, for a given strategy profile the expected payoff is generally not uniquely defined, and integration theory only provides an upper bound, the upper integral, and a lower bound, the lower integral. A strategy profile is called a legitimate equilibrium if each player evaluates this profile by the upper integral, and each player evaluates all his possible deviations by the lower integral. We show that a legitimate equilibrium always exists. Our equilibrium concept and existence result are motivated by Vasquez (2017), who defines a conceptually related equilibrium notion, and shows its existence under the conditions of finitely many players, separable metric action spaces and bounded Borel measurable payoff functions. Our proof borrows several ideas from (Vasquez (2017)), but is more direct as it does not make use of countably additive representations of finitely additive measures by (Yosida and Hewitt (1952)).


Introduction
The model and main result. The main goal of the current paper is to present a general existence result for a type of equilibrium in normal-form games, with an arbitrary number of players and arbitrary action spaces. The only condition we impose on the game is that the payoff function of each player is bounded. We allow players to use finitely additive probability measures as mixed strategies. This new equilibrium concept is a novel generalisation of the concept of Nash equilibrium.
Since we do not pose any measurability assumptions, the payoff function of a player is not necessarily integrable. That is, a strategy profile does not always induce a unique expected payoff. In that case, the upper integral, i.e. the upper approximations of the integral by simple functions, is not the same as the lower integral, i.e. lower approximations of the integral by simple functions. So based on integration theory, the upper integral could be interpreted as the best possible expected payoff, while the lower integral as the worst expected payoff.
We call a strategy profile a legitimate equilibrium if each player evaluates this strategy profile by the upper integral, and each player evaluates all his possible deviations by the lower integral. Our equilibrium concept is motivated by the concept of optimistic equilibrium in (Vasquez 2017). The concept of legitimate equilibrium has a few conceptual and technical advantages. First, the definition is straightforward and has an easy interpretation. Second, it allows us to eliminate technical restrictions on the action spaces and payoff functions, and to treat the case of infinitely many players. Third, we only need to approximate the integral of the payoff functions at the strategy profiles under consideration. This is in stark contrast with optimistic equilibrium in Vasquez (2017), which is defined through several abstract steps and makes use of small perturbations of each strategy profile. Admittedly, both concepts have one drawback: a strategy profile is not necessarily evaluated in the same way when it is a candidate equilibrium and when it arises by a deviation of a player.
Our main result is that a legitimate equilibrium always exists, in any normal-form game with bounded payoff functions. Moreover, the set of legitimate equilibria is a compact subset of the set of strategy profiles, with respect to the topology of pointwise convergence. The proof uses the Kakutani-Fan-Glicksberg fixed point theorem. Our proof borrows several ideas from (Vasquez 2017), but is more direct as it does not make use of countably additive representations of finitely additive measures (comment 4.5 in Yosida and Hewitt (1952)).
Related literature. Finite additivity, instead of countable additivity, for probability measures was argued for on several grounds. For example, in decision theory conceptual arguments were given by de Finetti (1975), (Savage 1972), andDubins et al. (2014). For a comparison between finitely additive and countably additive measures, see (Bingham 2010).
In game theory, countable additivity is the usual assumption on probability measures. There is a stream of literature extending the class of games with equilibria, for example, (Dasgupta and Maskin 1986a, b;Reny 1999;Simon and Zame 1990) and Bich and Laraki (2017). Usually, the issue is how to circumvent the problems caused by the discontinuity of the payoff functions. In the countably additive setup, as in these papers, it requires some assumptions of the set of actions and on the payoff functions. Reny (1999) shows existence of pure strategy Nash equilibria while Dasgupta and Maskin (1986a) show existence of mixed strategy Nash equilibria. The equilibrium concept of Simon and Zame (1990) can possibly modify the payoff functions, and their equilibrium is a mixed strategy Nash equilibrium with respect to the new payoff functions. Bich and Laraki (2017) show the relation between the results of Reny (1999) and Simon and Zame (1990), among other things.
Even though countable additivity is the usual assumption in game theory, equilibria in finitely additive strategies have also gained recognition. Marinacci (1997) proves the existence of Nash equilibrium in nonzero-sum normal-form games, when the payoff functions are integrable. In this case, the lower and upper integrals coincide, and hence our result can be seen as a generalization of the existence result in Marinacci (1997). In a strongly related work (Harris et al. 2005) give different types of characterizations of the utility functions that (Marinacci 1997) considers. In a different vein, (Capraro and Scarsini 2013) consider some nonzero-sum games where the upper and lower integrals of utility functions do not coincide. They calculate expected payoffs through convex combinations of different orders of integration, and prove the existence of Nash equilibrium when the game has countable action spaces and can be defined through an algebraic operator. They extend their result to uncountable action spaces by adding further restrictions on the payoff functions. Generally speaking, the existence of finitely additive Nash equilibrium in normal-form games seems to require fairly restrictive assumptions on the payoff functions, but sometimes also on the action spaces.
There are various results on the existence of the value and optimal strategies in zerosum games, see for instance (Yanovskaya 1970;Heath and Sudderth 1972;Kindler 1983;Maitra and Sudderth 1993;Schervish and Seidenfeld 1996;Sudderth 1998), and(Flesch et al. 2017). For an extensive overview we refer to Flesch et al. (2017).
What all the above mentioned papers have in common is that either each strategy profile induces a unique expected payoff or each strategy profile is assigned a certain expected payoff according to some rule. Then, Nash equilibrium can be defined in the usual way by requiring that each player's strategy is a best response to the strategies of his opponents. In this sense, our definition of legitimate equilibrium and the notion of optimistic equilibrium in Vasquez (2017) conceptually separate themselves from the literature and take a somewhat new direction. Indeed, as mentioned earlier, both concepts assign to a strategy profile a possibly different payoff when it is a candidate equilibrium and when it arises by a deviation of a player. We discuss later in Sect. 5.1 whether our proof and existence result could be extended to a Nash equilibrium, that is when each strategy profile is assigned the same expected payoff, irrespective of it being considered a candidate equilibrium or not.
Legitimate equilibrium uses the upper integral and the lower integral, when the payoff function is not integrable. The use of the upper and lower integrals is of course not a new idea, see for example (Lehrer 2009) who uses the upper integral for the definition of a new integral for capacities, and Stinchcombe (2005) where the upper and lower integrals appear in the context of set-valued integrals. Stinchcombe (2005) also considers equilibria in finitely additive strategies, however he only considers games with finitely many players.
The best-response equilibrium in Milchtaich (2020) is a different finitely additive equilibrium, both technically and conceptually. It does not exist in all games, however it has nice properties. Theorem 2 in Milchtaich (2020) shows that, in games with bounded payoff functions, every best-response equilibrium is a legitimate equilibrium but not the other way around. Section 6 of Milchtaich (2020) contains a more extensive comparison of the two solution concepts.
Structure of the paper. In the next section we discuss some technical preliminaries on finitely additive probability measures. We present the model and the main result in Sect. 3. We provide the proof of the main result in Sect. 4. In Sect. 5 we discuss some properties of legitimate equilibrium, and demonstrate the difficulties of improving upon this existence result. Finally, in Sect. 6, we conclude.

Preliminaries
In this section we provide a brief summary on probability charges. For further reading, we refer to (Rao and Rao 1983) and (Dunford and Schwartz 1964).
Charges. Take a nonempty set X endowed with an algebra F(X ). A finitely additive probability measure, or simply charge, on (X , F(X )) is a mapping μ : F(X ) → [0, 1] such that μ(X ) = 1 and for all disjoint sets E, F ∈ F(X ) it holds that μ(E ∪ F) = μ(E) + μ(F). When X is countable and F(X ) is the algebra 2 X , a charge μ is called diffuse if μ(x) = 0 for each x ∈ X . 1 It follows from the axiom of choice that diffuse charges exist (see, for example, (Rao and Rao 1983), p. 38). 2 Product charge. Let I be a nonempty set, and for each i let X i be a nonempty set endowed with an algebra F(X i ), and let μ i be a charge on for all i ∈ I and moreover Y i = X i for all but finitely many i ∈ I . Let F(X ) be the smallest algebra on X containing the rectangles of X , which is identical to the collection of all finite unions of rectangles of X . It is known that there is a unique charge μ on (X , F(X )), called the product charge, that assigns probability i∈I μ i (Y i ) to each rectangle × i∈I Y i of X (see for example, (Dunford and Schwartz 1964), p. 184).
Integration with respect to a charge. We call a function s : . . , c k ∈ R, the sets B 1 , . . . , B k are rectangles of X and form a partition of X , and I B m is the characteristic function of the set B m . With respect to a charge μ on (X , F(X )), the integral of s is defined by s Consider a bounded function u : X → R. The upper integral of u with respect to μ is defined as and the lower integral of u with respect to μ as

The model and the main result
A game has an arbitrary nonempty set I of players. Each player i ∈ I is given an arbitrary nonempty action space A i , endowed with an algebra F(A i ). Let A = i∈I A i . Each player i ∈ I is given an arbitrary bounded payoff function We denote the set of strategies for player i by i . A strategy profile is a collection of strategies σ = (σ i ) i∈I , where σ i is a strategy for each player i ∈ I . We denote the set of strategy profiles by . Let σ −i denote the partial strategy profile (σ j ) j∈I \{i} of the opponents of player i, and −i denote the set of such partial strategy profiles.
As described in Sect. 2, every strategy profile σ generates a unique charge on (A, F(A)), which with a small abuse of notation we also denote by σ . For a player i ∈ I the upper integral of his payoff function is denoted by u i , and the lower integral of his payoff function is denoted by u i .
Definition 1 A strategy profile σ is called a legitimate equilibrium if for each player i ∈ I and each strategy τ i ∈ i Intuitively, at a legitimate equilibrium profile σ , each player's best possible expected payoff should be greater than or equal to his worst possible expected payoff if he deviates.
The concepts of legitimate equilibrium and Nash equilibrium coincide in those games where the lower integral and the upper integral of the payoff functions always coincide, that is u i (σ ) = u i (σ ) for every strategy profile σ and every player i. In such games, a Nash equilibrium is known to exist due to (Marinacci 1997). As a special case, this class of games encompasses games with finitely many players and actions.
Our main result is the following.
Theorem 1 Every game with bounded payoff functions has a legitimate equilibrium. Moreover, the set of legitimate equilibria is a compact subset of the set of strategy profiles.
Note that we have no restriction on the number of players and the action spaces. The proof is based on the Kakutani-Fan-Glicksberg fixed point theorem.
The game in the following example does not admit a Nash equilibrium in countably additive strategies. However, it has a legitimate equilibrium.

Example 1
The following game is a version of Wald's game (Wald 1945). The action sets are A 1 = A 2 = N, endowed with the algebra 2 N . Player 1's payoff for (a 1 , The payoffs given by u = (u 1 , u 2 ) are represented in the following matrix, where player 1 is the row player and player 2 is the column player.

1.
This game has no Nash equilibrium in countably additive strategies. Indeed, take any strategy profile σ = (σ 1 , σ 2 ). Since the sum of the expected payoffs is 1, we can assume without loss of generality that u 1 (σ ) ≤ 1/2. However, against the strategy σ 2 , player 1 can obtain an expected payoff arbitrarily close to 1 by choosing a large action a 1 ∈ N. Hence, σ cannot be a Nash equilibrium.

2.
There is a legitimate equilibrium in this game. A strategy σ i for player i ∈ {1, 2} is called diffuse if σ i (n) = 0 for every n ∈ N. Indeed, each strategy profile σ = (σ 1 , σ 2 ) in which at least one of the strategies is diffuse, is a legitimate equilibrium. We show that σ is a legitimate equilibrium if σ 1 is diffuse; the proof is similar when σ 2 is diffuse. Because the payoff functions only take values 0 and 1, by the definition of legitimate equilibrium, it suffices to prove that u 1 (σ ) = 1 and u 2 (σ 1 , σ 2 ) = 0 for every strategy σ 2 for player 2.
We summarise, informally, step 2.1. We use the definition of an upper integral to show that u 1 (σ ) ≥ 1. This means that we consider simple functions that are above the payoff function u 1 . We show that for any such simple function s, the expected payoff s(σ ) ≥ 1. This implies that u 1 (σ ) ≥ 1 as well.
Now we present the formal definition of an appropriate simple function. As before, We show that s(σ ) ≥ 1. For calculating the integral of s with respect to σ we need to consider the probabilities of the sets (B m ) k m=1 . First, let us consider (certain) sets with probability 0. Let B l = B 1 l × B 2 l ⊆ N × N where B 1 l is finite. Since σ 1 is diffuse, σ 1 (n) = 0 for every n ∈ N. Using finite additivity of charges, since B 1 l is finite, the probability σ 1 (B 1 l ) = n∈B 1 l σ (n) = 0. Therefore σ (B) = σ 1 (B 1 l ) · σ 2 (B 2 l ) = 0 as well. Second, let us consider the sets with positive probability. Let M be the set of m for which σ (B m ) > 0. Note that m∈M σ (B m ) = 1, since B 1 , . . . , B k form a finite partition of N × N. Let m ∈ M. The set B m is of the form B m = B 1 m × B 2 m . It follows from earlier arguments that because σ 1 is diffuse and σ (B m ) > 0, the set It follows that u 1 (σ ) = 1.

Proof of the existence result
In this section we prove Theorem 1. The proof is based on the Kakutani-Fan-Glicksberg fixed point theorem, stated below (cf. Corollary 17.55 in Aliprantis and Border (2005)).
Theorem 2 (Kakutani-Fan-Glicksberg) Let K be a nonempty compact convex subset of a locally convex Hausdorff topological vector space, and let the correspondence φ : K ⇒ K have closed graph and nonempty convex values. Then the set of fixed points of φ is nonempty and compact.
We endow with the topology of pointwise convergence. That is, we see as a subset of C := × i∈I × A i ∈F (A i ) R, where C is endowed with the product topology and is given its relative topology. By Tychonoff's theorem, As is a closed subset of C [0,1] , the set is compact. This way is a nonempty compact convex subset of the locally convex Hausdorff topological vector space C.
A mapping f : → R is called upper semicontinuous if for every net (σ α ) α∈D in , where D is a directed set, converging to some σ ∈ , we have lim sup α f (σ α ) ≤ f (σ ). Similarly, a mapping f : → R is called lower semicontinuous if for every net (σ α ) α∈D in , where D is a directed set, converging to some σ ∈ , we have lim inf α f (σ α ) ≥ f (σ ).
Lemma 1 For every player i ∈ I , the mapping σ → u i (σ ) from to R is upper semicontinuous, and the mapping σ → u i (σ ) from to R is lower semicontinuous.
Proof We only prove that the mapping σ → u i (σ ) from to R is upper semicontinuous. The proof of the second part is similar.
Take a net (σ α ) α∈D in , where D is a directed set, converging to some σ ∈ . First we show that lim α s(σ α ) = s(σ ) for every F(A)-measurable simple function s. Take an F(A)-measurable simple function s of the form s = k m=1 c m I B m . Since each B m is a rectangle of A, the net (σ α (B m )) α∈D of probabilities converges to σ (B m ). Therefore lim α s(σ α ) = s(σ ).
Let ε > 0. By the definition of u i (σ ), there is an F(A)-measurable simple function s such that s ≥ u i and Since s is an F(A)-measurable simple function, we have by the argument above that lim α s(σ α ) = s(σ ). Because s ≥ u i , we also have s(σ α ) ≥ u i (σ α ) for each α ∈ D. Hence As ε > 0 was arbitrary the proof is complete. Now we prove Theorem 1 in a number of steps. We will define a correspondence from the set of strategy profiles to the power set of such that this correspondence has a fixed point, by the Kakutani-Fan-Glicksberg theorem, and each fixed point is a legitimate equilibrium. To define this correspondence we need a number of auxiliary steps. Some of these steps are fairly similar to steps taken by Vasquez (2017).
Step 1. Consider a player i and let γ i be a strategy for player i. For each strategy profile σ , we define the set Note that B R γ i i is a subset of and not of i . It is not essential for the proof to define B R γ i i as a set of strategy profiles, however it makes the exposition somewhat simpler. Intuitively, B R γ i i consists of all strategy profiles τ such that τ i with the upper integral is a better reply to σ −i than γ i with the lower integral. If a strategy profile τ belongs to B R We show that for each strategy profile σ , the set B R γ i i (σ ) is nonempty and convex. Proof of step 1. Take a strategy profile σ . Since As a first step, we argue that u i is linear in the strategy of player i. Take two strategy profiles τ, μ ∈ such that τ −i = μ −i and λ ∈ (0, 1). We prove that Let S i denote the set of F(A)-measurable simple functions s satisfying s ≥ u i . Clearly, for every s ∈ S i we have Hence, Let ε > 0, and let s , s ∈ S i such that As ε > 0 was arbitrary, we conclude By (2) and (3), we have shown Hence, (1) holds, which shows that u i is linear in the strategy of player i. Take two strategy profiles τ, μ ∈ B R γ i i (σ ) and λ ∈ (0, 1). Therefore, Step 2. Consider a player i and let γ i be a strategy for player i. We prove that the correspondence σ ⇒ B R γ i i (σ ) from to 2 has a closed graph. Proof of step 2. With a directed set D, take two nets (σ α ) α∈D and (τ α ) α∈D in converging to respectively some σ ∈ and τ ∈ . Assume that for every α ∈ D, we have τ α ∈ B R γ i i (σ α ). We show that τ ∈ B R γ i i (σ ). Then, the proof of step 2 will be complete (cf. also Theorems 17.16 and 17.10 in Aliprantis and Border (2005)).
. By Lemma 1, taking limits yields Step 3. Consider a player i. For each strategy profile σ , we define the set Intuitively, B R i consists of all strategy profiles τ such that τ i with the upper integral is a better reply to σ −i than any other strategy of player i with the lower integral. We prove that for each strategy profile σ , the set B R i (σ ) is nonempty and convex.
Proof of step 3. Take σ ∈ . Convexity of B R i (σ ) directly follows from Step 1, where we showed the convexity of B R γ i i (σ ) for each γ i ∈ i . Now we show that B R i (σ ) is nonempty. By the finite intersection property (cf. Theorem 2.31 in Aliprantis and Border (2005)) it is sufficient to check for finitely many Step 4. For each strategy profile σ , we define the set Intuitively, B R(σ ) consists of all strategy profiles τ such that, for any player i, the strategy τ i with the upper integral is a better reply to σ −i than any other strategy of player i with the lower integral. We prove that for each strategy profile σ , the set B R(σ ) is nonempty and convex.
Proof of step 4. Take σ ∈ . Convexity of B R(σ ) directly follows from Step 3, where we showed the convexity of B R i (σ ) for each i ∈ I . Now we show that B R(σ ) is nonempty. By Step 3, B R i (σ ) is nonempty for each player i ∈ I . Choose a strategy profile τ i ∈ B R i (σ ) for each player i ∈ I . As usual, τ i i denotes the strategy of player i in the strategy profile τ i . Construct a new strategy profile τ such that τ i = τ i i for each player i ∈ I . Then τ ∈ B R i (σ ) for all i ∈ I . This implies that τ ∈ ∩ i∈I B R i (σ ), and hence B R(σ ) is nonempty.
Step 5. We argue that the correspondence φ : σ ⇒ B R(σ ) from to 2 has a fixed point. Moreover, any fixed point of φ is a legitimate equilibrium.
Proof of step 5. The graph of the correspondence φ is the intersection of the graphs of the correspondences σ ⇒ B R γ i i (σ ) over all players i ∈ I and strategies γ i of player i. Hence, by Step 2, the correspondence φ has a closed graph. Moreover, by Step 4, φ has nonempty and convex values. Due to Theorem 2 the correspondence φ has a fixed point. It is clear that any fixed point of φ is a legitimate equilibrium.

Properties of the concept of legitimate equilibrium
In this section we discuss some properties of legitimate equilibrium. As we previously mentioned, the concept of legitimate equilibrium coincides with the concept of Nash equilibrium in those games where the lower integral and the upper integral of the payoff functions always coincide, in particular, in games with finitely many players and actions.
As Theorem 3 shows a legitimate equilibrium exists under the sole condition that the payoff functions are bounded. Such a general existence result has its consequences. Out of the three consequences we point out below, the most prominent one is discussed in the next subsection, which seems to be difficult to overcome.

Unique evaluation of strategy profiles
According to the concept of legitimate equilibrium, a strategy profile is not necessarily evaluated in the same way when it is a candidate equilibrium and when it arises by a deviation of a player. In this subsection we examine whether the current proof could be generalised to obtain a Nash equilibrium. That is, we would like to assign one specific payoff to each strategy profile regardless whether it is a candidate equilibrium or it arises as a deviation. 3 One natural attempt would be to take, for each player i ∈ I , a selector f i of the correspondence σ ⇒ [u i (σ ), u i (σ )] from to R, try to replace both u i and u i by f i in the proof, and thus find a strategy profile σ * such that f i (σ * ) ≥ f i (σ i , σ * −i ) for every payer i and every strategy σ i of player i. So, this strategy profile σ * would not only be a legitimate equilibrium, but even a Nash equilibrium with respect to the payoffs given by f = ( f i ) i∈I . Taking a selector and defining an equilibrium based on it has also been considered by Simon and Zame (1990) and by Stinchcombe (2005).
Since we try to replace both u i and u i by f i in the proof, our line of proof would only work if the selector f i , for each player i, satisfies those properties of both u i and u i that we used in the proof of Sect. 4. To be precise, in that proof we made use of the following properties of u i and u i for each player i: (1) u i (σ ) ≤ u i (σ ) for every strategy profile σ , (2) the mapping σ → u i (σ ) is lower semicontinuous (cf. Lemma 1), (3) the mapping σ → u i (σ ) is upper semicontinuous (cf. Lemma 1) and it is linear in player i's strategy σ i (cf. Step 1 in Sect. 4). Even though the mapping σ → u i (σ ) is also linear in player i's strategy σ i , this was not needed in the proof.
So, for each player i, the selector f i should be continuous and in addition linear in player i's strategy. However, in general, such a selector does not exist. In fact, there might not even be a selector that is only required to be continuous. We illustrate it by showing that there is no continuous selector for player 1 in the game of Example 1. Let σ = (σ 1 , σ 2 ) be a strategy profile in which both strategies are diffuse charges, that is σ 1 (n) = σ 2 (n) = 0 for every n ∈ N, and both strategies are 0-1 valued, that is they only assign to each set probability 0 or 1 (such strategies correspond to ultrafilters on the action sets).
Consider any open neighborhood U of σ in . Then, there is a finite collection {B 1 , . . . , B k } of rectangles of A = A 1 × A 2 = N × N and positive numbers ε 1 , . . . , ε k such that the set is a subset of U . By adding more constraints (splitting the sets B 1 , . . . , B k if necessary and adding more sets), we can even assume that there is a finite partition P 1 of A 1 and a finite partition P 2 of A 2 such that {B 1 , . . . , B k } is the same as {X × Y : X ∈ P 1 , Y ∈ P 2 }.
Let X be the unique element of P 1 for which σ 1 (X ) = 1, and let Y be the unique element of P 2 for which σ 2 (Y ) = 1. Since σ 1 and σ 2 are diffuse, X and Y are both infinite. This implies that there are (x 1 , y 1 ), (x 2 , y 2 ) ∈ X × Y such that x 1 ≥ y 1 and x 2 < y 2 .

Dominated strategies
We say that an action a i of player i is c-dominated by another action a i , where c > 0, if for all action profiles a −i of the other players, In a legitimate equilibrium it can happen that a player places a positive probability on a set of c-dominated actions for some c > 0. Indeed, consider the following example.
We make slight changes to Wald's game (Example 1). Assume that additionally to choosing integers, player 1 can also choose one of two colors, green or red. Whichever color player 1 chooses, the payoff of player 2 is according to Wald's game. If player 1 chooses green, then the payoff for player 1 is also according to Wald's game. However, if player 1 chooses red, then player 1 receives the payoff of Wald's game minus 1 2 . Notice that for any integer n the action (red, n) is 1 2 -dominated by (green, n). A strategy profile (σ 1 , σ 2 ) where player 1 plays a diffuse charge σ 1 placing probability 1 on the color red and player 2 plays a diffuse charge σ 2 is a legitimate equilibrium in this game. Indeed, player 2 has no incentive to deviate as u 2 (σ ) = 1, whereas for any deviation σ 1 of player 1 we have u 1 (σ 1 , σ 2 ) = 0. Thus, in this legitimate equilibrium player 1 places probability 1 on a set of 1 2 -dominated actions.
In this example it is a crucial feature that the strategy profiles are evaluated differently when they are considered as a candidate equilibrium compared to a deviation. Therefore, this discussion is strongly related to Sect. 5.1, and raises once again the question if the goal in Sect. 5.1 can be achieved.
The best-response equilibrium in Milchtaich (2020) does not exist in all games, however when it exists, it excludes c-dominated actions.

Constant-sum payoffs
In a legitimate equilibrium, each player evaluates the equilibrium strategy profile through the upper integral. As a consequence, in games in which the payoffs for each action profile sum up to the same constant c, it can happen that the expected payoffs of a legitimate equilibrium do not sum up to c but to something higher. For instance, in Wald's game (Example 1) the payoffs always add up to 1, but both players playing a diffuse charge is a legitimate equilibrium, with a total expected payoff of 2. We remark that losing the constant sum feature is hardly uncommon in games with finitely additive strategies (see for example, (Flesch et al. 2017;Vasquez 2017), because of the difficulties discussed in the Introduction to define an expected payoff for each strategy profile.

Conclusions
Under rather general conditions we prove the existence of a legitimate equilibrium in finitely additive strategies. Namely, a legitimate equilibrium exists in any normalform game with an arbitrary number of players and arbitrary action spaces, provided that the payoff functions are bounded. The proof uses the Kakutani-Fan-Glicksberg fixed point theorem. It seems difficult to find a refinement of legitimate equilibrium for which the existence can be guaranteed while using a similar line of proof.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.