The question is simple to state:
Let $S_n = \sum_{i=1}^n X_i$, where $X_i$ are independent random variables with a common distribution $F$. For simplicity, assume that $X_i \geq 0$ with prob. 1, and that $F$ is absolutely continuous. (Think of $S_n$ as a random walk).
For a fixed $N$, what can we say about the distribution of $X_1$ (or $X_i, i = 1, 2, \cdots$ in general) given an observed value of $S_N$?
In words, if we observe the location of the random walk $S$ after $N$ steps, what does this tell us about the conditional distribution of the summands $X_1, \cdots, X_N$?
I am aware of the well known connection between partial sums of Exponential random variables and Uniform order statistics.
I'm wondering what is known in general.