Consider the general problem of predicting the conditional mean $E(Y|X)$ where $X$ is the predictor. One assumes $Y$ can be written as:
$Y=f(x)+e$ where $E(e|X)=0$ which implies covariance of predictor and $e$ is 0. Is $E(e|X)=0$ an assumption that is made or is it something that follows automatically from the fact that $f$ is the conditional mean of $Y$ (conditioned on $X$)?
If it's an assumption, what drives us to make it?