= Solution
Put $q=2d-n>0$. If $M$ is even, part (iii) gives
$$
\frac{dM(M-1)}2\le\frac{nM^2}{4},
$$
so
$$
qM\le2d.
$$
Because $M$ is even,
$$
M\le2\left\lfloor\frac dq\right\rfloor.
$$
If $M$ is odd, part (iii) instead gives
$$
\frac{dM(M-1)}2\le\frac{n(M^2-1)}4.
$$
Cancelling $M-1$ yields $qM\le n=2d-q$, and therefore
$$
M\le\frac{2d}{q}-1
<2\left\lfloor\frac dq\right\rfloor+1.
$$
Since $M$ is an integer, the same desired upper bound follows. Thus the binary <Plotkin bound> is
$$
\boxed{A(n,d)\le
2\left\lfloor\frac d{2d-n}\right\rfloor}.
$$
Back to article page
