Theorem 4.7
(Edge-isoperimetric inequality in the cube)
.
Assuming that:
A
⊂
{
0
,
1
}
n
(where we take the usual graph)
Then
|
∂
A
|
≥
|
A
|
(
n
−
log
|
A
|
)
.