Let $$$p_i$$$ — minimal prime divisor of $$$i$$$.
$$$s(n) = \sum_{i=2}^n \lceil \log_2(p_i) \rceil$$$.
I checked that $$$s(n) \leq 4 \cdot n$$$ if $$$n \leq 10^{10}$$$.
What is actual estimation of this sum?
№ | Пользователь | Рейтинг |
---|---|---|
1 | tourist | 3803 |
2 | jiangly | 3707 |
3 | Benq | 3627 |
4 | ecnerwala | 3584 |
5 | orzdevinwang | 3573 |
6 | Geothermal | 3569 |
6 | cnnfls_csy | 3569 |
8 | Radewoosh | 3542 |
9 | jqdai0815 | 3532 |
10 | gyh20 | 3447 |
Страны | Города | Организации | Всё → |
№ | Пользователь | Вклад |
---|---|---|
1 | awoo | 163 |
1 | maomao90 | 163 |
3 | adamant | 161 |
4 | maroonrk | 152 |
5 | -is-this-fft- | 151 |
6 | nor | 150 |
7 | atcoder_official | 147 |
7 | SecondThread | 147 |
9 | TheScrasse | 146 |
10 | Petr | 145 |
Funny sum :)
Let $$$p_i$$$ — minimal prime divisor of $$$i$$$.
$$$s(n) = \sum_{i=2}^n \lceil \log_2(p_i) \rceil$$$.
I checked that $$$s(n) \leq 4 \cdot n$$$ if $$$n \leq 10^{10}$$$.
What is actual estimation of this sum?
Rev. | Язык | Кто | Когда | Δ | Комментарий | |
---|---|---|---|---|---|---|
en4 | hmmmmm | 2024-02-12 19:55:06 | 1 | Tiny change: 'lceil \log2(p_i) \rc' -> 'lceil \log_2(p_i) \rc' | ||
en3 | hmmmmm | 2024-02-12 19:52:57 | 0 | (published) | ||
en2 | hmmmmm | 2024-02-12 19:49:38 | 5 | Tiny change: 'n \leq 10^9$.\n\nWhat' -> 'n \leq 10^{10}$.\n\nWhat' (saved to drafts) | ||
en1 | hmmmmm | 2024-02-12 19:14:31 | 210 | Initial revision (published) |
Название |
---|