exponentialPDFReal — Mathlib

English

The pdf of the exponential distribution with rate r is the gamma pdf with shape 1 and rate r, i.e., exponentialPDFReal(r, x) = gammaPDFReal(1, r, x).

Русский

Плотность экспоненциального распределения с параметром скорости r равна гамма-плотности с формой 1 и параметром скорости r: exponentialPDFReal(r, x) = gammaPDFReal(1, r, x).

LaTeX

$$$ \text{exponentialPDFReal}(r, x) = \text{gammaPDFReal}(1, r, x) $$$

Lean4

/-- The pdf of the exponential distribution depending on its rate -/
noncomputable def exponentialPDFReal (r x : ℝ) : ℝ :=
  gammaPDFReal 1 r x

Похожие утверждения