Dla losowo wybranej permutacji
zbioru
oznaczmy przez
największą liczbę
taką, że
dla wszystkich numerów
. Udowodnić, że wartość oczekiwana zmiennej losowej
wynosi
.
Rozważana zmienna losowa zależy oczywiście od
. Oznaczmy ją wobec tego przez
. Znajdziemy zależność rekurencyjną między wartościami oczekiwanymi zmiennych
i
.
Weźmy dowolną permutację
zbioru
. Po odrzuceniu wyrazu
otrzymujemy permutację pewnego
- elementowego zbioru różnych liczb. Długość początkowego odcinka tworzącego ciąg rosnący to wartość zmiennej
. (Nie jest bowiem istotne, czy permutowanym zbiorem jest, zgodnie z definicją
, zbiór
, czy też dowolny inny zbiór liniowo uporządkowany przez relację mniejszości.)
Dołączamy z powrotem wyraz
. Długość początkowego odcinka tworzącego ciąg rosnący pozostanie nie zmieniona lub zwiększy się o
. Zwiększenie to nastąpi tylko w jednym przypadku: gdy permutacja
jest identyczna z ciągiem
. Prawdopodobieństwo takiego zdarzenia wynosi
.
Dostajemy więc zależność
![]() |
Stąd natychmiast wynika wzór rekurencyjny
![]() |
Ponieważ zaś
, dany do udowodnienia w zadaniu wzór otrzymujemy przez oczywistą indukcję.