Deriving MMSE: what the Wiener filter actually minimizes
The Wiener filter has a clean claim: among all linear filters operating on wide-sense stationary input, it produces the minimum mean-square estimation error. That claim has a closed-form proof, and …