Z definicji pochodna ( jeśli istnieje ) jest granicą ilorazu różnicy
1h(∫∞t+hxf(x)dx−∫∞txf(x)dx)=−1h∫t+htxf(x)dx
jako .h→0
Zakładając, że jest ciągłe w przedziale dla wystarczająco małych , będzie również ciągłe w tym przedziale. Następnie Twierdzenie Lagrange'a utrzymuje istnieją pewne pomiędzy i , dla któregof[t,t+h)h>0xfh∗0h
−(t+h∗)f(t+h∗)=−1h∫t+htxf(x)dx.
Jako , koniecznie , a ciągłość pobliżu oznacza, że lewa strona ma granicę równą .h→0h∗→0ft−tf(t)
(Miło jest zobaczyć, że ta analiza nie wymaga uzasadnienia na temat istnienia oryginalnej niepoprawnej całki .)∫∞txf(x)dx
Jednak nawet jeśli rozkład ma gęstość , gęstość ta nie musi być ciągła. W punktach nieciągłości iloraz różnic będzie miał różne granice lewy i prawy: pochodna tam nie istnieje.f
Nie jest to kwestia, którą można odrzucić jako tajemniczą „patologię” matematyczną, którą praktykujący mogą zignorować. Pliki PDF wielu popularnych i przydatnych dystrybucji mają punkty nieciągłości. Na przykład dystrybucja Uniform ma nieciągły plik PDF w punktach i ; rozkład gamma ma nieciągły plik PDF o wartości gdy (który obejmuje wszechobecny rozkład wykładniczy i niektóre rozkłady ); i tak dalej. Dlatego ważne jest, aby nie twierdzić, bez dokładnych kwalifikacji, że odpowiedź brzmi jedynie : to byłby błąd.(a,b)ab(a,b)0a≤1χ2−tf(t)