summaryrefslogtreecommitdiffstats
path: root/final
diff options
context:
space:
mode:
Diffstat (limited to 'final')
-rw-r--r--final/main.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/final/main.tex b/final/main.tex
index d3a1cc8..e5df90a 100644
--- a/final/main.tex
+++ b/final/main.tex
@@ -405,6 +405,8 @@ Next, we define another mechanism, $M'$, such that $M'$ is also IR-IC, and has a
Finally, we show that $$\E_{\tilde{t} \sim F_{\beta}^+}[\tilde{p}(\tilde{t}) - \beta \cdot \tilde{x}(\tilde{t})] \leq \Rev(F_\beta^+ - \beta),$$ where the mechanism $M''$ that has revenue given by $\Rev(F_\beta^+ - \beta)$ is also shown to be IR-IC.
\end{proofsketch}\end{lemma}
+\section{Conclusion}
+
\bibliographystyle{abbrvnat}
\bibliography{main}
\end{document}