diff options
Diffstat (limited to 'myerson.tex')
| -rw-r--r-- | myerson.tex | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/myerson.tex b/myerson.tex index 8c80cf6..371e0d3 100644 --- a/myerson.tex +++ b/myerson.tex @@ -1,4 +1,5 @@ -Using the notations of Lemma~\ref{thm:myerson-variant}, we want to prove that +\begin{proof} +We want to prove that if $c_i$ and $c_i'$ are two different costs reported by user $i$ with $|c_i - c_i'|\geq \delta$, and if $c_{-i}$ is any vector of costs reported by the other users: @@ -29,3 +30,4 @@ c_{-i}) = 0$ implies that $i$'s threshold payment is less than $c_i$, \emph{i.e.} $p_i(c_i', c_{-i}) \leq c_i$. This last inequality is equivalent to \eqref{eq:local-foobar} in this final case. \qed \end{enumerate} +\end{proof} |