We define a sequence $a_n$ so that $a_0=1$ and
\[a_{n+1} = \begin{cases} \displaystyle \frac{a_n}2 & \textrm { if } a_n \equiv 0 \pmod 2, \\ a_n + d & \textrm{ otherwise. } \end{cases}  \]
for all postive integers $n$.
Find all positive integers $d$ such that there is some positive integer $i$ for which $a_i=1$.
1. **Initial Setup and Assumptions**:
   - We define the sequence \(a_n\) such that \(a_0 = 1\).
   - The recursive relation is given by:
     \[
     a_{n+1} = \begin{cases} 
     \frac{a_n}{2} & \text{if } a_n \equiv 0 \pmod{2}, \\
     a_n + d & \text{otherwise}.
     \end{cases}
     \]
   - We need to find all positive integers \(d\) such that there exists some positive integer \(i\) for which \(a_i = 1\).

2. **Case Analysis for \(d\)**:
   - **Even \(d\)**:
     - If \(d\) is even, then starting from \(a_0 = 1\), the sequence will always add an even number \(d\) to an odd number, resulting in an even number. This even number will then be halved, remaining even. Thus, the sequence will never return to 1. Therefore, \(d\) cannot be even.
   - **Odd \(d\)**:
     - Assume \(d\) is odd. We need to show that there exists some \(i\) such that \(a_i = 1\).

3. **Behavior of the Sequence**:
   - **Initial Values**:
     - Start with \(a_0 = 1\).
     - If \(d = 1\), the sequence is \(1, 2, 1, 2, \ldots\), and \(a_2 = 1\). Thus, \(d = 1\) works.
   - **General Odd \(d\)**:
     - Assume \(d \geq 3\). We need to show that \(a_k \geq 1\) for all \(k \geq 0\) and that the sequence is bounded by \(2d\).

4. **Bounding the Sequence**:
   - Suppose there exists some \(a_k \geq 2d\). Choose the smallest such \(k\).
     - Then \(a_{k-1} = a_k - d \geq d\) and is odd.
     - Therefore, \(a_{k-2} = 2a_{k-1} \geq 2d\), which contradicts the minimality of \(k\).
     - Hence, \(a_k < 2d\) for all \(k\).

5. **Reversibility of the Sequence**:
   - If \(a_k \geq d\), then \(a_{k-1} = a_k - d\) (since \(2a_k \geq 2d\) is not possible).
   - If \(a_k < d\), then \(a_{k-1} = 2a_k\) (since \(a_k - d\) would be negative).
   - Thus, the sequence is reversible under the condition that all members are less than \(2d\).

6. **Application of the Pigeonhole Principle**:
   - Since \(a_1\) through \(a_{2d}\) are all numbers less than \(2d\), by the pigeonhole principle, there must be some repetition in the sequence.
   - Let \(a_k = a_{n+k}\) for some \(n < 2d\).
   - Reversing the sequence, we get \(a_{k-1} = a_{n+k-1}\), \(a_{k-2} = a_{n+k-2}\), ..., \(a_1 = a_{n+1}\), \(a_0 = a_n = 1\).
   - Thus, \(a_n = 1\) for some \(n > 0\) for all positive odd \(d\).

The final answer is \( \boxed{ d } \) must be any positive odd integer.