设åè°å½æ°ä¸ºfãä¸å¦¨è®¾fåè°éå¢ï¼éåçè¯æ³å®å ¨ç±»ä¼¼ã
对äºä»»æå®æ°tï¼
è¥tå¨fçå¼åå ï¼åå¿ ç¶åå¨å¯ä¸çx_0ï¼ä½¿å¾f(x_0)=tï¼æ以E(f>t)=åºé´(x_0,+â)â©Eï¼å½ç¶ä¸¤ä¸ªå¯æµéä¹äº¤è¿æ¯å¯æµéï¼æ以få¯æµã
è¥tä¸å±äºfå¼åï¼é£å°±åfå¼åéé¢ææ¥è¿tä½æ¯æ¯t大çé£ä¸ªæ°t_0ï¼f(x_0)=t_0ï¼æ以E(f>t)=åºé´(x0,+â)â©Eï¼è¿æ¯å¯æµéï¼
è¥t大äºå¼åä¸ä»»ä½æ°ï¼E(f>t)=∅ï¼æ¾ç¶æ¯å¯æµéã
综ä¸æè¿°ï¼åè°å½æ°få¯æµã