Let $$$p_i$$$ — minimal prime divisor of $$$i$$$.
$$$s(n) = \sum_{i=2}^n \lceil \log2(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 | 3993 |
2 | jiangly | 3743 |
3 | orzdevinwang | 3707 |
4 | Radewoosh | 3627 |
5 | jqdai0815 | 3620 |
6 | Benq | 3564 |
7 | Kevin114514 | 3443 |
8 | ksun48 | 3434 |
9 | Rewinding | 3397 |
10 | Um_nik | 3396 |
Страны | Города | Организации | Всё → |
№ | Пользователь | Вклад |
---|---|---|
1 | cry | 167 |
2 | Um_nik | 163 |
3 | maomao90 | 162 |
3 | atcoder_official | 162 |
5 | adamant | 159 |
6 | -is-this-fft- | 158 |
7 | awoo | 156 |
8 | TheScrasse | 154 |
9 | Dominater069 | 153 |
10 | nor | 152 |
Funny sum :)
Let $$$p_i$$$ — minimal prime divisor of $$$i$$$.
$$$s(n) = \sum_{i=2}^n \lceil \log2(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) |
Название |
---|