The number of intersected orthants is exactly equal to the number of proper sign patterns (excluding zero values) that can be generated by linear combinations of those d vectors. When d=1, there can only be two such sign patterns corresponding to positive and negative multiples of that vector, thus giving C(n,1) = 2. Whenever d \geq
n, we can choose a basis for \mathbb{R}^n and add additional vectors as needed, and we can reach all points, and therefore all 2^n =
C(n,d) sign patterns.
For the general case (0), let v_1,\ldots,v_d be vectors in \mathbb{R}^n such that the affine hull with the origin, S =
\mathrm{aff}\{0,v_1,\ldots,v_d\}, gives a hyperplane in \mathbb{R}^n that properly intersects the maximum number of orthants, C(n,d). Without loss of generality assume that vectors v_i, i=1,\ldots,d-1 all have their nth component equal to zero. Now, let T = \mathrm{aff}\{0,v_1,\ldots,v_{d-1}\} \subseteq
\mathbb{R}^{n-1} be the intersection of S with the (n-1)-dimensional subspace of all points \mathcal{X} =
\{x\in\mathbb{R}^n \mid x_n = 0\}, and let C_T denote the number of (n-1)-orthants intersected by T. Note that T itself, as embedded in \mathbb{R}^n, does not properly intersect any orthant. However, by adding or subtracting an arbitrarily small amount of v_d, we intersect 2C_T orthants; taking v_d to be the nth column of the identity matrix would suffice for that matter. Any other orthants that are added have either x_n > 0 or x_n < 0, and their number does not depend on the magnitude of the nth entry of v_d, provided it remains nonzero. Because only the first n-1 entries of v_d determine the maximum number of additional orthants, the problem reduces to \mathbb{R}^{n-1}. In fact, we ask how many new orthants can be added to C_T taking the affine hull of T with v, the orthogonal projection v_d onto \mathcal{X}. Since the maximum orthants for this d-dimensional subspace in \mathbb{R}^{n-1} is given by C(n-1,d), this number is clearly bounded by C(n-1,d)-C_T. Adding this to 2C_T, we have
\begin{aligned}
C(n,d) & \leq 2 C_T + [C(n-1,d) - C_T] = C_T + C(n-1,d)
\\ & \leq C(n-1,d-1) + C(n-1,d)
\\ & \leq 2\sum_{i=0}^{d-1}{n-1 \choose i}.
\end{aligned}
The final expression follows by expanding the recurrence relations, which generates (a part of) Pascal’s triangle, and combining this with C(1,j) = 2 for j\geq 1. In the above, whenever there are free orthants in \mathbb{R}^{n-1}, that is, when d < n, we can always choose the corresponding part of v_d in that orthant. As a consequence we have that no hyperplane supported by a set of vectors can intersect the maximum number of orthants when the range of those vectors includes some e_i.
We now show that this expression holds with equality. Let U denote an (n-d)-hyperplane in \mathbb{R}^n that intersects the maximum C(n,n-d) orthants. We now claim that in the interior of each orthant not intersected by U there exists a vector that is orthogonal to U. If this were not the case then T must be aligned with some e_i and can therefore not be optimal. The span of these orthogonal vectors generates a d-hyperplane V that intersects C_V = 2^n -
C(n,n-d) orthants, and it follows that
\begin{aligned}
C(n,d)
& \geq C_V = 2^n - C(n,n-d) \\
& \geq 2^n - 2\sum_{i=0}^{n-d-1}{n-1 \choose i}
= 2\sum_{i=0}^{n-1}{n-1 \choose i} - 2\sum_{i=0}^{n-d-1}{n-1 \choose i} \\
& = 2\sum_{n-d}^{n-1}{n-1 \choose i} = 2\sum_{i=0}^{d-1}{n-1 \choose i}
\geq C(n,d),
\end{aligned}
where the last inequality follows from (?). Consequently, all inequalities hold with equality.