На

наложено ограничение.
в задаче спрашивается не распределение, а условное распределение.
Это пока без ограничений и условий
"поскольку

и

одинаково распределены,

можно заменить на

:

, переписав выражение

".
Теперь ограничение

по условию задачи принимает фиксированное значение, которое

Это фиксированное значение равно

, где

Во второй сумме тоже есть

и поскольку они именно так обозначены, я так понимаю их можно, а может и нужно зафиксировать, оставив

Вторую сумму можно записать как


и

одинаково распределены, значит вторую сумму можно записать

(не фиксируя

), и отсюда (для второй суммы)

Т.е. если у первой суммы зафиксировать все слагаемые кроме одного, какова вероятность что это распределение будет

.
Другой вариант - какова вероятность того что

просто меньше

(любого), так как распределения

и

-это одно и тоже распределение и спросить "какова вероятность того что

", которое - значение суммы

(да и неважно какой суммы) это тоже самое что спросить "какова вероятность того что

", которое (

) стало известно.