| (i) | $x \mapsto \lfloor x \rfloor$ is the D764: Real-integer floor function |
| (ii) | \begin{equation} N := \lfloor \alpha \rfloor \end{equation} |
| (iii) | $T_1, \, \ldots, \, T_N \overset{d}{=} \text{Exponential}(\beta)$ are each an D214: Exponential random positive real number |
| (iv) | $A \overset{d}{=} \text{Alpha}(\alpha - N, \beta)$ is an D6332: Alpha random positive real number |
| (v) | $A, T_1, \, \ldots, \, T_N$ is an D2713: Independent random collection |
| ▶ | D4867: Beta random positive real number |
| ▶ |
Remark 1
(Gamma random positive real number as a generalization of an Erlang random positive real number)
In a sense, the D3838: Gamma random positive real number is a generalization of an D4862: Erlang random positive real number where the $\alpha$ parameter need not be restricted to the positive integers, but can be any positive real number.
|