design, where there are some constraints on the size of one block or the size of the largest
block. For every positive integers n, m, where m≤ n, let S (n, m) be the smallest integer s for
which there exists a PBD on n points whose largest block has size m and the sum of its block
sizes is equal to s. Also, let S′(n, m) be the smallest integer s for which there exists a PBD
on n points which has a block of size m and the sum of it block sizes is equal to s. We prove …