Theorem 6.
Assuming that:
f
:
Q
n
→
ℝ
Lipschitz
with
median
M
Then
|
{
x
:
|
f
(
x
)
−
M
|
≤
𝜀
n
}
|
2
n
≥
1
−
4
𝜀
e
−
𝜀
2
n
2
for any
0
<
𝜀
<
1
4
.