 Smooth convex approximation proof of the Tanaka formula

Choose $f_n(0)=0$ and $f_n^{\prime }(x)=\varphi (nx)$, where $\varphi$ is continuously differentiable, nondecreasing, equal to $-1$ on $(-\infty ,0]$ and $1$ on $[1,\infty )$. Then $f_n^{\prime \prime }\ge 0$ and $0\le |x|-f_n(x)\le 2/n$. For $X=M+A$ with continuous adapted finite-variation $A$, the Itô isometry and Doob L2 maximal inequality give local uniform convergence in probability of the martingale integrals. Dominated convergence against the total-variation measure gives pathwise uniform convergence of the drift integrals. The nondecreasing corrections $\frac{1}{2}\int f_n^{\prime \prime }(X)d[M]$ therefore converge locally uniformly in probability to $|X|-\int {\mathrm{sgn}}_{-}(X)dX$. A subsequence on one probability-one event shows that the limit is continuous and nondecreasing. Localization removes the deterministic bounds used in the argument.