Функции распределения непрерывных случайных величин. Упражн

[GAA]

$$F_\zeta(x)=1 - F_\eta(2- x / 2) = 1 - \left(\frac 1 \pi \arctg (1-x/4) + \frac 1 2 \right)=...$$

Можно свойства функции распределения проверить...

[Aiyyaa]

$ F_\zeta(x)=1 - F_\eta(2- x / 2) = 1 - \left(\frac 1 \pi \arctg (1-x/4) + \frac 1 2 \right)= \frac{1}{2} - \frac 1 \pi \arctg (1-x/4) $
при $x=-\infty$:
$ F_\zeta(-\infty)=0$
$x=\infty$:
$ F_\zeta(\infty)=1$
то есть эти свойства выполняются, значит функция распределения $\zeta$ это:
$F_\zeta=\frac{1}{2} - \frac 1 \pi \arctg (1-x/4) $?

[GAA]

"Значит " звучит сильно. Но минимальную проверку выполнили. (Хотя могли и не делать, если бы были внимательны.)
У меня получилось такое же выражение для функции распределения.