Лемма Штейна для скалярной переменной — это хорошо известная характеристика гауссовского распределения: x ∼ 𝒩(m,σ²) ⇔ ∀f 𝔼[(x−m)f(x)] = σ² 𝔼[f'(x)] Интересно, что существует также многомерная версия, но она второго порядка: x ∼ 𝒩(m, σ² I) ⇔ ∀f 𝔼[(x−m)ᵀ∇f(x)] = σ² 𝔼[∇² f(x)] 1/2