, где
- все простые числа не превосходящие n и
- степени, с которыми они входят в это разложение, i=1,...,k. Докажем, что
, где [...] обозначает целую часть числа, т.е. для действительного числа х, запись [x] обозначает максимальное целое число не превосходящее х. Заметим, что в этой сумме всегда конечное число слагаемых, т.к. рано или поздно степень простого станет больше n, и с этого момента под целой частью будут числа меньшие 1, т.е. целая часть от них будет равна 0.
.
будут равны 0, т.к.
станет меньше 1 при больших j (а именно, при j>[ln(n)/ln(p)]).
ответ: