 
                                                 
                                                 
                                                 , где
, где  - все простые числа не превосходящие n и
 - все простые числа не превосходящие n и  - степени, с которыми они входят в это разложение, i=1,...,k.  Докажем, что
 - степени, с которыми они входят в это разложение, i=1,...,k.  Докажем, что ![a_i=[n/p_i]+[n/p_i^2]+[n/p_i^3]+\ldots](/tpl/images/0772/9018/70d65.png) , где [...] обозначает целую часть числа, т.е. для действительного числа х, запись [x] обозначает максимальное целое число не превосходящее х. Заметим, что в этой сумме всегда конечное число слагаемых, т.к. рано или поздно степень простого станет больше n, и с этого момента под целой частью будут числа меньшие 1, т.е. целая часть от них будет равна 0.
, где [...] обозначает целую часть числа, т.е. для действительного числа х, запись [x] обозначает максимальное целое число не превосходящее х. Заметим, что в этой сумме всегда конечное число слагаемых, т.к. рано или поздно степень простого станет больше n, и с этого момента под целой частью будут числа меньшие 1, т.е. целая часть от них будет равна 0.![[n/p^j]-[n/p^{j+1}]](/tpl/images/0772/9018/44306.png) .
. ![[n/p^j]](/tpl/images/0772/9018/4931b.png) будут равны 0, т.к.
 будут равны 0, т.к.  станет меньше 1 при больших j (а именно, при j>[ln(n)/ln(p)]).
 станет меньше 1 при больших j (а именно, при j>[ln(n)/ln(p)]). 
                                                
ответ: