Corollary 12.
Assuming that:
A
⊂
[
k
]
n
with
|
A
|
≥
|
{
x
:
|
x
|
≤
n
}
|
Then
|
A
(
t
)
|
≥
|
{
x
:
|
x
|
≤
r
+
t
}
|
for all
t
.