I'm interested in the infinitude of odd primitive pseudoperfect numbers. Richard K. Guy's book "Unsolved Problems in Number Theory 3rd edition" says that P. Erdős proved the infinitude of odd primitive pseudoperfect numbers.

Here, natural number $n$ called *pseudoperfect* number if one of distinct sums of some proper divisors of $n$ equals $n$. PseudoPerfect Number $n$ called *primitive* if any proper divisor of $n$ is not pseudoperfect.

Recently, I found a paper which perhaps prove this result. The paper is

S. J. Benkoski & P. Erdős, On weird and pseudoperfect numbers, _Math. Comput., vol. 28 (1974), 617-623. http://www.renyi.hu/~p_erdos/1974-24.pdf

In this paper, Theorem 3 proves the infinitude of odd primitive pseudoperfect numbers. But unfortunately, authors only outline the proof, and I can not understand their proof.

My questions are about their proof. I'm concentrated only on $B_k$.

How one can prove Lemma 1 in this paper? (I thought Vinogradov's three prime theorem and sieves can be used to prove this, but I failed.)

How one can prove Lemma 2 in this paper?

Why inequality (12) in this paper implies $B_k$ is pseudoperfect?

Are there any elementary proof of the infinitude of odd primitive pseudoperfect numbers? (Authors use the fact $p_{n+1} < (1+o(1))p_n$, and I can not prove this without PNT.)

I think the assertion which follows Lemma 2 "For $p_k\le x<3/2x<A_k$, the interval $(x,3/2x)$ always contains a divisor of $A_k$ and $B_k$." is false. Because in the case $x=A_k/p_k$, $x$ is the largest proper divisor of $A_k$. Is this assretion true?

I would appreciate it if you answer one or more above questions.