I have a quick question: why does the Efficient Market Hypothesis (EMH) assume that stock prices follow a martingale process?
I understand that discounted prices under the risk-neutral probability measure are a martingale. This can be shown explicitly. But how is this related to the statement that (pre-discounted, and under the true distribution) prices are martingale under the EMH? Is there any mathematical framework that supports this statement?