From d158132a00b3c2a934f9c564a4900f64fa7118a7 Mon Sep 17 00:00:00 2001 From: Stratis Ioannidis Date: Mon, 5 Nov 2012 13:40:26 -0800 Subject: appendix and biblio fonts --- main.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'main.tex') diff --git a/main.tex b/main.tex index 57e38cf..8937f04 100644 --- a/main.tex +++ b/main.tex @@ -283,7 +283,7 @@ Suppose, for contradiction, that such a mechanism exists. Consider two experimen We now present the proof of Theorem~\ref{thm:main}. Truthfulness and individual rationality follows from monotonicity and threshold payments. Monotonicity and budget feasibility follow the same steps as the analysis of Chen \emph{et al.} \cite{chen}; - for the sake of completeness, we briefly restate the proofs in the Appendix. + for the sake of completeness, we restate their proof in the Appendix. Our proof of the approximation ratio uses a bound on our concave relaxation $L$ (Lemma~\ref{lemma:relaxation}). This is our main technical contribution; the proof of this lemma can be found in Section~\ref{sec:relaxation}. -- cgit v1.2.3-70-g09d2