📘 stochastic calculus

1. The problem is to verify the derivation that the discounted stock price $\tilde{S}_t = e^{-rt}S_t$ is a martingale under the risk-neutral measure $Q$ given the SDE for $S_t$: $$