From 76ee3fed378c7588f37c217ed2581c6079ea3ca9 Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Tue, 12 May 2015 17:50:59 -0400
Subject: Make the dependency on the assumption clearer in the proof of Lemma 1

---
 final/main.tex | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'final/main.tex')

diff --git a/final/main.tex b/final/main.tex
index 1ecfbca..8ac2bbe 100644
--- a/final/main.tex
+++ b/final/main.tex
@@ -139,9 +139,10 @@ a 6-approximation to $\Rev((1,...,1),F)$.
 
 The main question underlying this work can then be formulated as:
 
-\paragraph{Question.} \emph{Given an ex-ante allocation constraint $\hat{x}$ and a type distribution $F$, is
-there a simple mechanism whose ex-ante allocation rule is upper-bounded by
-$\hat{x}$ and whose revenue is a constant approximation to $\Rev(\hat{x},F)$?}
+\paragraph{Question.} \emph{Given an ex-ante allocation constraint $\hat{x}$
+and a type distribution $F$, is there a simple mechanism whose ex-ante
+allocation rule is upper-bounded by $\hat{x}$ and whose revenue is a constant
+approximation to $\Rev(\hat{x},F)$?}
 
 \subsection{Examples and Motivations}
 
@@ -277,7 +278,8 @@ price. Then we have:
 
 \begin{proof}
     The second inequality is the main result from \citep{babaioff}; we will
-    thus only prove the first inequality. 
+    thus only prove the first inequality, which holds even without the
+    assumption that $F$ is a product distribution.
 
     In the specific case where $\hat{v} = (0,\hat{v}_1,\dots,\hat{v}_m)$,
     \emph{i.e} $\hat{v}_0 = 0$, there is no entrance fee and the two-part
-- 
cgit v1.2.3-70-g09d2

