What fixed smooth regularization can prove

Let $P_{ϵ,R}$ be a fixed, properly supported smoothing operator whose kernel is smooth and whose relevant input and output supports are compact. A radius $R$ and a smoothing width $ϵ>0$ are independent external parameters.