Maths Olympiad Prep

Library / /396 of 520

Number theory Difficulty 6.5 National olympiad Prove it

Theorem 12 Let x2x \geqslant 2. We have
px(11p)=eA1lnx+O(1ln2x)\prod_{p \leqslant x}\left(1-\frac{1}{p}\right)=\frac{\mathrm{e}^{-A_{1}}}{\ln x}+O\left(\frac{1}{\ln ^{2} x}\right)

where A2=A1A3,A1A_{2}=A_{1}-A_{3}, A_{1} is given by equation (45),
A3=p[ln(11p)+1p]A_{3}=\sum_{p}\left[\ln \left(1-\frac{1}{p}\right)+\frac{1}{p}\right]

Using
px(ln(11p)+1p)=A3+O(1x)\sum_{p \leqslant x}\left(\ln \left(1-\frac{1}{p}\right)+\frac{1}{p}\right)=A_{3}+O\left(\frac{1}{x}\right)

Solution

None

Translate the text above into English, please retain the original text's line breaks and format, and output the translation result directly.

Note: The provided instruction is a meta-instruction and not part of the text to be translated. Since the text to be translated is "None", the translation is also "None". Here is the formatted output as requested:

None

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.