Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. Let S(N)S(N) be the number of distinct values of ∑k≤Nεk/k\sum_{k\le N}\varepsilon_k/k with εk∈{0,1}\varepsilon_k\in\{0,1\} and let log⁡j\log_j be the jj-fold iterated natural logarithm. For k≥4k\ge4 and log⁡kN≥k\log_kN\ge k,

log⁡S(N) ≥ Nlog⁡2log⁡N∏j=3klog⁡jN.\log S(N)\ \ge\ \frac{N\log2}{\log N}\prod_{j=3}^{k}\log_jN .

This is Corollary 3 of the paper (p. 40), which states it for k≥3k\ge3 and log⁡k+1N≥k+1\log_{k+1}N\ge k+1 with the product to k+1k+1; the form above, with k+1k+1 renamed kk, is the one the site prints for Problem 320. The paper derives it from its theorem S(N)≥2Q(N)S(N)\ge2^{Q(N)} (p. 39) and its count of the integers p1⋯pk≤Np_1\cdots p_k\le N built from rapidly growing primes (p. 30).

Covers. A lower bound for log⁡S(N)\log S(N). The condition log⁡kN≥k\log_kN\ge k stops the product at a depth where log⁡kN\log_kN is still at least kk, so the bound falls short of the order of magnitude Nlog⁡N∏j=3klog⁡jN\frac{N}{\log N}\prod_{j=3}^k\log_jN with log⁡kN=O(1)\log_kN=O(1) by an unbounded factor; the bound of that order is Bettin, Grenié, Molteni and Sanna's Theorem 1.

Depends on. No page of this wiki; the corollary rests on the paper's own theorems.

Acceptance. Refereed: M. N. Bleicher and P. Erdős, The number of distinct subsums of ∑1N1/i\sum_1^N1/i, Math. Comp. 29 (1975), no. 129, 29--42, DOI 10.1090/S0025-5718-1975-0366795-4. The proofs are not verified by this corpus.

Dating. The page is dated by the publication year; the Crossref record gives the year only, and the day in the page name is a placeholder.