## ON A PROBLEM OF PONGSRIIAM ON THE SUM OF DIVISORS, II

## RUI-JING WANG

Abstract. For any positive integer n , let σ n p q be the sum of all positive divisors of n. In this paper, it is proved that the set of positive integers n for which σ p 30 n ` q ě 1 σ p 30 n q has a density less than 0 0371813 . , which answers a recent problem of Pongsriiam in part.

## 1. Introduction

For any positive integer n , let σ n p q and φ n p q be the sum of divisors function and the Euler totient function, respectively. In this paper, we always assume that x denotes a real number, a, b, k, l, m, n are positive integers and p is a prime. In 1973, Jarden [7, p.65] observed that φ p 30 n ` q ą 1 φ p 30 n q for all n ď 10 5 . Though the inequality was calculated to be true up to 10 9 , Newman [11] proved that there are infinitely many n such that φ p 30 n ` q ă 1 φ p 30 n q and Martin [10] gave the smallest one. The result of Newman [11] gave another example of the Chebyshev's bias [1]. For more relavant research, one may refer to [2, 4, 9, 13, 17]. Motivated by these results, it is natural to consider the parallel problem on the sum of divisors function. Recently, Pongsriiam [14, Theorem 2.4] found that σ p 30 n q ą σ p 30 n ` q 1 for all n ď 10 7 and proved that σ p 30 n q ´ σ p 30 n ` 1 q has infinitely many sign changes. Pongsriiam [14] further considered quantitative versions of his result and posed the following two relevant problems.

Problem 1.1. ( [14, Problem 3.8(i)] ) Is it true that

$$\sum _ { \substack { n \leq K \\ \sigma ( 3 0 n + 1 ) < \sigma ( 3 0 n ) } } 1 > \sum _ { \substack { n \leq K \\ \sigma ( 3 0 n + 1 ) > \sigma ( 3 0 n ) } } 1$$

for all K P N ?

Problem 1.2. ( [14, Problem 3.8(ii)] ) Is it true that for all K P N ?

$$\sum _ { n \leqslant K } ^ { \cdot \cdot \cdot } \sigma ( 3 0 n ) > \sum _ { n \leqslant K } \sigma ( 3 0 n + 1 )$$

Ding, Pan and Sun [3] studied several problems of Pongsriiam. Inspired by their ideas, the author [16] answered affirmatively the above Problem 1.2. For any set of positive integers A, let A x p q ' |t n ď x : n P A . u| We use d A to denote the density of set A. Namely,

Kobayashi and Trudgian [8] proved that the set of positive integers n for which σ p 2 n ` q ě 1 σ p 2 n q has a density between 0 0539171 and 0 0549445 . . . Following their method, we solve Problem 1.1 in part.

$$\mathrm d A = \lim _ { x \to \infty } \frac { A ( x ) } { x }. \\ \mathrm h a t t h e c t o f \text{positive} \, \mathrm i r$$

2010 Mathematics Subject Classification. 11A25, 11N25.

Key words and phrases. arithmetic functions, monotonicity, sum of divisors function.

Theorem 1.1. Problem 1.1 is true for all sufficiently large K.

In fact, we prove a slightly stronger result.

Theorem 1.2. Let B ' t n ě 1 : σ p 30 n ` q ě 1 σ p 30 n qu . Then B has a density and

$$\mathfrak { d } B < 0. 0 3 7 1 8 1 3. \\ \mathfrak { d } \,. \,. \,. \,.$$

For any positive integer n, let σ ´ 1 p n q be the sum of the reciprocal of all positive divisors of n. It is clear that σ ´ 1 p n q ' σ n p q{ n. To give the existence of d B, we will prove that the sets B and C have equal densities, where

$$C = \{ n \geqslant 1 \, \colon \sigma _ { - 1 } ( 3 0 n + 1 ) \geqslant \sigma _ { - 1 } ( 3 0 n ) \}.$$

$$2. \text{ EXISENCE OF } \text{ d} C$$

Definition 2.1. ( [15, p.55] ) For a real arithmetic function f p n q defined on Z ` , let

$$F ( \mathcal { I }, w ) & = \lim _ { x \to \infty } \frac { | \{ n \leqslant x \, \colon n \in \mathcal { I }, \, f ( n ) \leqslant w \} | } { | \{ n \leqslant x \, \colon n \in \mathcal { I } \} | }, \\ \text{on real number} \quad \mathcal { O } \subset \mathcal { J }. \, \text{ if the limit in the right hand exists}$$

where w is a given real number, S Ď Z ` . If the limit in the right hand exists except possibly at points of discontinuity of F p S , w q , then F p S , w q is called the distribution function of f p n q relative to S . This limit will be called the S -density of t n : n P S , f p n q ď w . u

Definition 2.2. ( [15, Definition 3.1] ) Given a sequence of integer-valued arithmetic functions λ k p n q p k ' 1 2 , , . . . q . An arithmetic function f p n q is said to be of type t λ k u relative to S if f p λ k p n qq converges in S -density to f p n q and each of the f p λ k p n qq has a distribution function relative to S . In many applications,

$$\lambda _ { k } ( n ) = \prod _ { \stackrel { p | n } { p \leqslant k } } p ^ { v _ { p } ( n ) }.$$

Henceforth, we refer to these as the standard type functions. If f p n q is of λ -type with respect to these (relative to S ), we shall say that f p n q is of standard type relative to S .

Lemma 2.3. If f p n q has a distribution function relative to S , so does ´ p f n . q Both f p n q and ´ p f n q are of the same λ -type.

Since the continuity of F p S , w q at point w 0 means the S -density of t n : n P S , f p n q ' w 0 u is zero, Lemma 2.3 is trivial.

Lemma 2.4. ( [15, p.62] ) An additive arithmetic function f ` p n q has a distribution function if and only if the series

$$\sum _ { | f ^ { + } ( p ) | > 1 } \frac { 1 } { p }, \quad \sum _ { | f ^ { + } ( p ) | \leqslant 1 } \frac { f ^ { + } ( p ) } { p }, \quad \sum _ { | f ^ { + } ( p ) | \leqslant 1 } \frac { ( f ^ { + } ( p ) ) ^ { 2 } } { p } \\ \cdots \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \end{matrix}$$

all converge. Similarly, for multiplicative function f ˚ p n , q sufficient condition is that the series

$$\sum _ { | f ^ { * } ( p ) - 1 | > \frac { 1 } { 2 } } \frac { 1 } { p }, \quad \sum _ { | f ^ { * } ( p ) - 1 | \leq \frac { 1 } { 2 } } \frac { f ^ { * } ( p ) - 1 } { p }, \quad \sum _ { | f ^ { * } ( p ) - 1 | \leq \frac { 1 } { 2 } } \frac { ( f ^ { * } ( p ) - 1 ) ^ { 2 } } { p }$$

all converge. In the case of f ` p n , q continuity of the distribution function is equivalent to the divergence of

$$\sum _ { f ^ { + } ( p ) \neq 0 } \frac { 1 } { p }. \\ \ f u n c t i o n \ i s \ i r$$

$$\sum _ { f ^ { * } ( p ) \neq 1 } \frac { 1 } { p }. \\ t i v o \ a r i t h m o t$$

For f ˚ p n , q continuity of the distribution function is insured by the divergence of

In both the case of additive and multiplicative arithmetic functions described above, the functions are of standard λ -type.

Definition 2.5. ( [15, Definitions 3.4 and 4.3] ) A subset S of positive integers is called progressive subset if and only if the intersection of S with any given arithmetic progression an ` b has an S -density.

A progressive subset S of positive integers is called multiplicative subset if and only if the S -density of the intersection of two arithmetic progressions with relatively prime moduli is the product of their respective S -densities.

Lemma 2.6. ( [15, Theorem 4.4] ) Let S be a multiplicative subset of positive integers such that for every prime p,

$$\lim _ { \alpha \to \infty } \rho ( p ^ { \alpha } ) = 0, \quad \sum _ { p } \rho ^ { 2 } ( p ) < \infty, \\ \intertext { a k i s t h e s i t u o f t h e a r i t h m e t i c e n r o a r e s }$$

where ρ a p q ' max b ρ a,b , ρ a,b is the S -density of the arithmetic progression t an ` u b . Consider linear forms a n i ` b , i i ' 1 2 , , . . . , s such that a b i j ´ a b j i ‰ 0 p i ‰ q j , a i ‰ 0 , and given arithmetic functions f , f 1 2 . . . , f s of standard type. Then, if the distribution function of f 1 is continuous,

$$f _ { 1 } ( a _ { 1 } n + b _ { 1 } ) + f _ { 2 } ( a _ { 2 } n + b _ { 2 } ) + \dots + f _ { s } ( a _ { s } n + b _ { s } ) \\ \dots \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

has a continuous distribution function.

Following the definitions and lemmas mentioned above, we can conclude that

Lemma 2.7. For given arithmetic functions f , f 1 2 . . . , f s satisfying the conditions of Lemma 2.4 and linear forms a n i ` b , i i ' 1 2 , , . . . , s satisfying a b i j ´ a b j i ‰ 0 p i ‰ q j , a i ‰ 0 , let

$$D = \{ n \geqslant 1 \, \colon f _ { 1 } ( a _ { 1 } n + b _ { 1 } ) + f _ { 2 } ( a _ { 2 } n + b _ { 2 } ) + \cdots + f _ { s } ( a _ { s } n + b _ { s } ) \leqslant w \}. \\ \omega \quad \sim \,. \quad \,. \quad. \quad. \quad. \quad.$$

Then D has a density for each given real number w.

By Lemma 2.3, each f i can be replaced by ´ f i for i ' 1 2 , , . . . , s.

Proof. By the Chinese remainder theorem, Z ` is a multiplicative subset. For every prime p,

By Lemma 2.4, f , f 1 2 . . . , f s are of standard type and f 1 has a continuous distribution function. Thus, by Lemma 2.6, D has a density.

$$\lim _ { \alpha \to \infty } \rho ( p ^ { \alpha } ) = \lim _ { \alpha \to \infty } \frac { 1 } { p ^ { \alpha } } = 0, \quad \sum _ { p } \rho ^ { 2 } ( p ) = \sum _ { p } \frac { 1 } { p ^ { 2 } } < \sum _ { n = 1 } ^ { \infty } \frac { 1 } { n ^ { 2 } } = \frac { \pi ^ { 2 } } { 6 }. \\ \ e m m a { 2. 4. \ f. \ f. \ \dots. \ f. \ e r e o f \ \text{standard} \ t v e n d } \ f _ { 1 } \ \text{has a continuous distribution fine}$$

This completes the proof of Lemma 2.7.

/square

Let w ' 0 , f p n q ' σ ´ 1 p 30 n q ´ σ ´ 1 p 30 n ` q 1 . It follows from σ ´ 1 p p q ´ 1 ' { 1 p that

$$\sum _ { | \sigma _ { - 1 } ( p ) - 1 | > \frac { 1 } { 2 } } \frac { 1 } { p } = 0, \quad \sum _ { | \sigma _ { - 1 } ( p ) - 1 | \leq \frac { 1 } { 2 } } \frac { \sigma _ { - 1 } ( p ) - 1 } { p } = \sum _ { p } \frac { 1 } { p ^ { 2 } }, \quad \sum _ { | \sigma _ { - 1 } ( p ) - 1 | \leq \frac { 1 } { 2 } } \frac { ( \sigma _ { - 1 } ( p ) - 1 ) ^ { 2 } } { p } = \sum _ { p } \frac { 1 } { p ^ { 3 } }$$

are all converge. But

$$\sum _ { \sigma _ { - 1 } ( p ) \neq 1 } \frac { 1 } { p } = \sum _ { p } \frac { 1 } { p } \\ \ast \text{conditions of $E$mma}.$$

diverges. Therefore, σ ´ 1 satisfies the conditions of Lemma 2.4. By Lemma 2.7, C has a density.

## 3. Notations and preliminary lemmas

Lemma 3.1. ( [5, p.253] ) For large x,

$$| \left \{ 1 \leqslant n \leqslant x \colon \sigma ( n + 1 ) = \sigma ( n ) \right \} | \leqslant x / e ^ { ( \log x ) ^ { 1 / 3 } }. \\ \Gamma \left ( \dots \right ) \dots \right ) \dots \.$$

Lemma 3.2. ( [6, p.119] ) We have

$$\lim \sup _ { n \to \infty } \frac { \sigma ( n ) / n } { \log \log n } = e ^ { \gamma }, \\ \prod \nolimits ^ { \pi }$$

where γ denotes the Euler constant.

Lemma 3.3. ( [12, (5.10) and (5.12)] ) Let Q α p q ' p 1 ` α q log p 1 ` α q ´ α. Then for large x, 1 n x : ω n 1 α log log x x log x Q α ,

$$| \left \{ 1 \leqslant n \leqslant x \, \colon \omega ( n ) \leqslant ( 1 - \alpha ) \log \log x \right \} | \leqslant x / ( \log x ) ^ { Q ( - \alpha ) }, \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \end{array}$$

where ω n p q denotes the number of distinct prime factors of n and 0 ă α ă 1 .

Recall that

$$B & = \{ n \geqslant 1 \, \colon \sigma ( 3 0 n + 1 ) \geqslant \sigma ( 3 0 n ) \}, \quad C = \{ n \geqslant 1 \, \colon \sigma _ { - 1 } ( 3 0 n + 1 ) \geqslant \sigma _ { - 1 } ( 3 0 n ) \}. \\ - & \quad \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

Lemma 3.4. B has a density and d B ' d C.

Proof. Since

$$\frac { \sigma _ { - 1 } ( 3 0 n + 1 ) } { \sigma _ { - 1 } ( 3 0 n ) } = \frac { \sigma ( 3 0 n + 1 ) } { \sigma ( 3 0 n ) } \cdot \frac { 3 0 n } { 3 0 n + 1 }, \\ \text{lows that}$$

$$B \langle C = \left \{ n \geqslant 1 \colon 0 \leqslant \sigma ( 3 0 n + 1 ) - \sigma ( 3 0 n ) < \frac { \sigma ( 3 0 n ) } { 3 0 n } \right \}. \\ \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots$$

we have C Ď B. It follows that

We will prove that the set B C z has density 0 . Let

$$D _ { 0 } = \{ n \geqslant 1 \, \colon \sigma ( 3 0 n + 1 ) = \sigma ( 3 0 n ) \} \,, \quad D _ { 1 } = \left \{ n \geqslant 1 \, \colon \frac { \sigma ( 3 0 n ) } { 3 0 n } > 2 e ^ { \gamma } \log \log n \right \}, \\ \gamma \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cd.$$

$$D _ { 2 } & = \left \{ n \geqslant 1 \, \colon \omega ( 3 0 n + 1 ) \leqslant \frac { 1 } { 2 } \log \log n \right \}, \quad D _ { 3 } = \left \{ n \geqslant 1 \, \colon \omega ( 3 0 n ) \leqslant \frac { 1 } { 2 } \log \log n \right \}, \\ \omega \quad \tau \quad. \quad. \quad \Gamma \, + \, \infty \quad. \quad \omega \quad \omega \quad \omega \quad. \quad \omega \quad \omega$$

D 4 ' /visualspace n ě 1 : p 2 | 30 n for some p ą y ( , D 5 ' /visualspace n ě 1 : p 2 | 30 n ` 1 for some p ą y ( .

where γ denotes the Euler constant and y is a given real number. Let y ' 1 4 log log x. Then by the definitions of D ,. . . , D 1 5 , for any positive integer n satisfying n P p B C z qzp D 1 Y D 2 Y D 3 Y D 4 Y D 5 q and n ě ? x, either σ p 30 n ` q ' 1 σ p 30 n q or

$$\int _ { 2 } ^ { \frac { 1 } { 2 } \log \log \sqrt { x } - \pi ( \frac { 1 } { 4 } \log \log x ) } \leqslant \sigma ( 3 0 n + 1 ) - \sigma ( 3 0 n ) < \frac { \sigma ( 3 0 n ) } { 3 0 n } \leqslant 2 e ^ { \gamma } \log \log x.$$

Therefore, for all sufficiently large x,

$$( B \mathcal { C } ) ( x ) & \leqslant \sqrt { x } + \sum _ { i = 0 } ^ { 5 } D _ { i } ( x ). \\ \to \infty. \text{ it follows from Lemmas 3.1. 3.}$$

This completes the proof of Lemma 3.4.

Dividing by x and taking x Ñ 8 , it follows from Lemmas 3.1, 3.2 and 3.3 that d p B C z q ' 0 . Therefore, B has a density and d B ' d C. /square

Let y ě 5 . Then a number n is y -smooth if its largest prime divisor p has p ď y. Let Y p n q be the largest y -smooth divisor of n. In the following discussions, we always assume that a and b are y -smooth. Let

$$S ( a, b ) = \{ n \geqslant 1 \, \colon Y ( 3 0 n + 1 ) = a, Y ( 3 0 n ) = b \}. \\ \intertext { h o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t oc t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t to c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c s t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t u c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o ct o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o s t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c ct o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c c t O c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o m o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o r o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o C t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c to c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c T o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o ( c c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o c t o$$

$$\int \in \mathcal { C } ( \alpha \, \max \, \max \, \exp \, \cos \, \varpi ( u, \nu _ { j } \ p a \, \max \, \min \, \cos \, \varpi ) \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \nu _ { \mu } \, \beta _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \beta _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { \mu } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { j } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { j } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { k } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { k } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { k } \, \nu _ { k } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { k } \, \nu _ { l } \, \nu _ { k } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { r } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { r } \, \nu _ { l } \, \nu _ { r } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { r } \, \nu _ { l } \, \nu _ { k } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { k } \, \nu _ { r } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { r } \, \nu _ { r } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { k } \, \nu _ { r } \, \nu _ { r } \, \nu _ { l } \, \nu _ { l } \, \nu _ { r } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { r } \, \nu _ { l } \, \nu _ { l } \, \nu _ { r } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { r } \, \nu _ { l } \, \nu _ { l } \, \nu _ { l } \, \nu _ { r } \, \nu _ { l } \, \nu _ { l } \, \nu _ { r } \, \nu _ { l } \, \nu _ { r } \, \nu _ { r } \, \nu _ { r } \, \nu _ { r } \, \nu _ { r } \, \nu _ { r } \, \nu _ { r } \, \nu _ { r } \, \$$

It is clear that the sets S a, b p q partition N ` . S a, b p q ' H unless 30 | b and p a, b q ' 1 . We partition C via C a,b p q ' C X S a, b . p q Let P ' P y p q ' p ď y p, where 1 ď t 1 ď P, 1 ď t 2 ď P and p t 1 t 2 , P q ' 1 .

## Lemma 3.5. We have

$$\mathrm d S \left ( a, b ; t _ { 1 }, t _ { 2$$

Either S a,b t , t p ; 1 2 q ' H or n P S p a, b ; t 1 , t 2 q has the form

$$\begin{array} {$$

where p x , y 0 0 q is a particular solution for ax ´ by ' 1 , P/lscript ' 1 ´ at 1 ` bt 2 and k P Z .

Proof. We follow the method of Kobayashi and Trudgian [8, p.141] to show that S a, b p q is a finite and disjoint union of arithmetic progressions. By the definition of S a,b t , t p ; 1 2 q ,

$$3 0 n + 1 = a ( t _ { 1 } + x P ), \quad 3 0$$

where x, y P Z ` . Hence,

If P /notbar 1 ´ at 1 ` bt 2 , then S a,b t , t p ; 1 2 q ' H . If P | 1 ´ at 1 ` bt 2 , write P/lscript ' 1 ´ at 1 ` bt 2 , then ax ´ by ' /lscript. It follows that

$$a P x - b P y = 1 - a t _ { 1 } + b t _ { 2$$

$$x = x _ { 0 } \ell + k b &, \quad y = y _ { 0$$

where p x , y 0 0 q is a particular solution for ax ´ by ' 1 and k P Z . Therefore,

$$3 0 n + 1 = a \left ( t _ { 1 } + x _ { 0 } P \ell \right ) + a b P k, \quad 3 0 n = b \left ( t _ { 2 } + y _ { 0 } P \ell \right ) + a b P k.$$

It follows that

$$\mathrm d S \left ( a, b ; t _ { 1 }, t _ { 2 } \right ) = \begin{cases} \frac { 3 0 } { a b P } & P \ | \ 1 - a t _ { 1 } + b t _ { 2 }, \\ 0 & P \nmid 1 - a t _ { 1 } + b t _ { 2 }. \end{cases} \\ \left ( a \ h \ w e w i l \, \text{count the number of naires} \left ( t, \ t _ { 2 } \right ) \text{statifvino} \ \i.$$

In order to give d S a, b , p q we will count the number of pairs p t 1 , t 2 q satisfying P | 1 ´ at 1 ` bt 2 . For each prime p | P, if p | a, then P | 1 ´ at 1 ` bt 2 if and only if t 2 ' ´ b ´ 1 p mod p , q so t 1 is free and t 2 is completely determined modulo p. Thus, there are p ´ 1 ordered pairs modulo p. Likewise, if p | b, P | 1 ´ at 1 ` bt 2 if and only if t 1 ' a ´ 1 p mod p , q so there are p ´ 1 ordered pairs modulo p. Finally, if p /notbar ab, P | 1 ´ at 1 ` bt 2 if and only if t 2 ' b ´ 1 p at 1 ´ q p 1 mod p . q For each t 1 , we fail to get a valid t 2 only if t 1 ' a ´ 1 p mod p . q Thus, there are p ´ 2 valid ordered pairs modulo p. By the Chinese remainder theorem, the number of pairs p t 1 , t 2 q satisfying P | 1 ´ at 1 ` bt 2 is

$$\prod _ { p | a b } \left ( p - 1 \right ) \prod _ { \substack { p | P \\ p | a b } } \left ( p - 2 \right ).$$

Therefore,

$$\mathrm d S ( a, b ) = \frac { 3 0 } { a b } \prod _ { p | a b } \left ( 1 - \frac { 1 } { p } \right ) \prod _ { \substack { p | P \\ p | a b } } \left ( 1 - \frac { 2 } { p } \right ).$$

This completes the proof of Lemma 3.5.

/square

Lemma 3.6. ( [8, Lemma 1] ) Let g n p q ' p σ ´ 1 p n qq r and let h n p q be the M¨bius transform of o g n . p q Namely, h p p α q ' g p p α q ´ g p p α ´ 1 q . If k and l are given coprime positive integers, r ě 1 and x ě 2 , then where

$$\sum _ { \substack { n \leqslant x \\ n \equiv l ( \text{mod } k ) } } g ( n ) = \frac { \Lambda _ { k } ( r ) } { k } x + O \left ( k ^ { 1 / 2 } \log k ( \log x ) ^ { r } \right ),$$

$$\Lambda _ { k } ( r ) = \prod _ { p \nmid k } \left ( 1 + \frac { h ( p ) } { p } + \frac { h \left ( p ^ { 2 } \right ) } { p ^ { 2 } } + \cdots \right ).$$

4. Proofs of Theorems 1.1 and 1.2

Proof. By Lemmas 3.5 and 3.6,

$$\cdot & \text{Lemmas 3.5 and 3.6}, \\ \sum _ { \substack { n \leqslant x \\ n \in S ( a, b ; t _ { 1 }, t _ { 2 } ) } } g ( 3 0 n + 1 ) & = g ( a ) \sum _ { \substack { m \leqslant ( 3 0 x + 1 ) / a \\ m \equiv t _ { 1 } + x _ { 0 } P \ell ( \text{mod } b P ) } } g ( m ) \\ & = g ( a ) \Lambda _ { b P } ( r ) \frac { 3 0 } { a b P } x + O \left ( ( \log x ) ^ { r } \right ) \\ & = g ( a ) \Lambda _ { P } ( r ) \frac { 3 0 } { a b P } x + O \left ( ( \log x ) ^ { r } \right ). \\ \text{over all pairs (t _ { 1 }, t _ { 2 } ) },$$

Summing over all pairs p t 1 , t 2 q ,

$$\sum _ { \substack { n \in S ( a, b ) \\ n \leqslant x } } g ( 3 0 n + 1 ) \sim g ( a ) \Lambda _ { P } ( r ) \mathrm d S ( a, b ) x, \quad x \to \infty.$$

By the definition of C,

$$\sum _ { \substack { n \in S ( a, b ) \\ n \leqslant x } } g ( 3 0 n + 1 ) & \geqslant \sum _ { \substack { n \in S ( a, b ) \\ n \leqslant x, \ n \in C } } g ( 3 0 n ) + \sum _ { \substack { n \in S ( a, b ) \\ n \leqslant x, \ n \notin C } } g ( 3 0 n + 1 ). \\ \intertext { r t h t a l } \sum _ { \substack { n \in S ( a, b ) \\ n \leqslant x, \ n \notin C } } } 1 \ a l ( 3 0 n ) \, = \, a l ( b \lambda ( 3 0 n / b \lambda \, \text{and} \ a l ( 3 0 n \perp 1 \lambda \, - \, a l ( a \lambda ( 3 0 n \perp 1 \lambda / a \lambda ) } }$$

It is clear that g n p q ě 1 , g p 30 n q ' g b g p q p 30 n b { q and g p 30 n ` q ' 1 g a g p q pp 30 n ` q{ q 1 a . By the definitions of S a, b p q and C a,b , p q

$$\sum _ { \substack { n \in S ( a, b ) \\ n \leq x } } g ( 3 0 n + 1 ) \geq & \, g ( b ) | C ( a, b ) \cap [ 1, x ] | + g ( a ) ( | S ( a, b ) \cap [ 1, x ] | - | C ( a, b ) \cap [ 1, x ] | ).$$

Dividing by x and taking x Ñ8 ,

Since Λ P p r q ą 1 and r ě 1 , for p Λ P p r qq 1 { r ă σ ´ 1 p b q{ σ ´ 1 p a , q we have

$$g ( a ) \Lambda _ { P } ( r ) \mathrm d S ( a, b ) \geqslant g ( b ) \mathrm d C ( a, b ) + g ( a ) \mathrm d S ( a, b ) - g ( a ) \mathrm d C ( a, b ). \\ \bullet \bullet \cdots \bullet \cdots \bullet \cdots \bullet \cdots \bullet \cdots \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon = \bullet \cdots \colon$$

$$\mathrm d C ( a, b ) & \leqslant \frac { ( \Lambda _ { P } ( r ) - 1 ) g ( a ) \mathrm d S ( a, b ) } { g ( b ) - g ( a ) }. \\ \mathrm b v \text{ the Euler product formula}.$$

$$\bar { \Lambda } _ { P } ( 1 ) = \zeta ( 2 ) \prod _ { p | P } \left ( 1 - \frac { 1 } { p ^ { 2 } } \right ). \\ \text{rameters } \pi \text{ and } \, \varepsilon \text{ then run through}$$

We take r ' 1 . . Then by the Euler product formula,

In calculation, we fix the parameters y and z, then run through y -smooth numbers a and b satisfying ab ď z, 30 | b and p a, b q ' 1 . After summing over every difference between d S a, b p q and the above nontrivial bound of d C a,b p q for each pair p a, b q , 1 minus the sum is an upper bound of d C. The choice y ' 157 , z ' 10 9 yields the value 0 0371813 . .

Theorem 1.2 follows Lemma 3.4 and Theorem 1.1 then follows immediately.

/square

## Acknowledgments

The author would like to thank Yong-Gao Chen and Yuchen Ding for their helpful suggestions. This work is supported by the Natural Science Foundation of the Jiangsu Higher Education Institutions of China (Grant No. 24KJD110001).

## References

- [1] P. L. Chebyshev, Lettre de M. le professeur Tch´byshev ´ M. Fuss, sur un nouveau th´oreme r´latif aux e a e e nombres premiers contenus dans la formes 4 n ` 1 et 4 n ` 3 , Bull. Classe Phys. Acad. Imp. Sci. St. Petersburg 11 (1853), 208.
- [2] M. Del´ eglise, Bounds for the density of abundant integers, Exp. Math. 7 (1997), 137-143.
- [3] Y. Ding, H. Pan, Y.-C. Sun, Solutions to some sign change problems on the functions involving sums of divisors, to appear in Period. Math. Hungar. , https://arxiv.org/abs/2401.09842
- [4] P. Erd˝s, On a problem of Chowla and some related problems, o Proc. Camb. Philos. Soc. 32 (1936), 530-540.
- [5] P. Erd˝s, C. Pomerance, A. S´rk¨zy, On locally repeated values of certain arithmetic functions, II, o a o Acta Math. Hungar. 49 (1987), 251-259.
- [6] T. H. Gr¨nwall, Some asymptotic expressions in the theory of numbers, o Trans. Am. Math. Soc. 14 (1913), 113-122.
- [7] D. Jarden, Recurring Sequences, Riveon Lematematika, Jerusalem, 1973.

- [8] M. Kobayashi, T. Trudgian, On integers n for which σ p 2 n ` q ě 1 σ p 2 n q , J. Number Theory 215 (2020), 138-148.
- [9] F. Luca, C. Pomerance, The range of the sum-of-proper-divisors function, Acta Arith. 168 (2015), 187-199.
- [10] G. Martin, The smallest solution of φ p 30 n ` q ă 1 φ p 30 n q is . . . , Amer. Math. Mon. 106 (1999), 449-451.
- [11] D. J. Newman, Euler's φ function on arithmetic progressions, Amer. Math. Mon. 104 (1997), 256-257.
- [12] K. K. Norton, On the number of restricted prime factors of an integer. I, Illinois J. Math. 20 (1976), 681-705.
- [13] P. Pollack, C. Pomerance, Some problems of Erd˝s on the sum-of-divisors function, o Trans. Amer. Math. Soc. Ser. B 3 (2016), 1-26.
- [14] P. Pongsriiam, Sums of divisors on arithmetic progressions, Period. Math. Hungar. 88 (2024), 443-460.
- [15] H. N. Shapiro, Addition of functions in probabilistic number theory, Commun. Pure Appl. Math. 26 (1973), 55-84.
- [16] R.-J. Wang, On a problem of Pongsriiam on the sum of divisors, to appear in Bull. Aust. Math. Soc. , https://arxiv.org/abs/2402.07931
- [17] R.-J. Wang, Y.-G Chen, On positive integers n with σ l p 2 n ` q ă 1 σ l p 2 n , q Period. Math. Hungar. 85 (2022), 210-224.

(Rui-Jing Wang) School of Mathematical Sciences, Jiangsu Second Normal University, Nanjing 210013, People's Republic of China

Email address : wangruijing271@163.com
Rui-Jing Wang
On a problem of Pongsriiam on the sum of divisors, II
For any positive integer $n$, let $\sigma (n)$ be the sum of all positive
divisors of $n.$ In this paper, it is proved that the set of positive integers
$ n $ for which $ \sigma(30n+1)\geq \sigma(30n) $ has a density less than $
0.0371813, $ which answers a recent problem of Pongsriiam in part.