Comment Comment by nycdatasci Tried w/ 5.5 Pro, Extended Thinking. 17 minutes:-----------------------------Yes. In fact the proposed bound is true, and the constant 1 is sharp.Let w(a)= 1/alog(a)I will prove that, uniformly for every primitive A⊂[x,∞), ∑w(a)≤1+O(1/log(x)) , which is stronger than the requested 1+o(1).https://chatgpt.com/share/69ed8e24-15e8-83ea-96ac-784801e4a6... parent nycdatasci 6 months ago
-----------------------------
Yes. In fact the proposed bound is true, and the constant 1 is sharp.
Let w(a)= 1/alog(a)
I will prove that, uniformly for every primitive A⊂[x,∞), ∑w(a)≤1+O(1/log(x)) , which is stronger than the requested 1+o(1).
https://chatgpt.com/share/69ed8e24-15e8-83ea-96ac-784801e4a6...