cp's OEIS Frontend

Since A010846(n) = A000005(n) + A243822(n), this sequence examines the balance of the two components among "regular" numbers.

Value of a(n) is generally less frequently negative as n increases.

a(1) = -1.

For primes p, a(p) = -2 since 1 | p and the cototient is restricted to the divisor p.

For perfect prime powers p^e, a(p^e) = -(e + 1), since all m < p^e in the cototient of p^e that do not have a prime factor q coprime to p^e are powers p^k with 1 < p^k <= p^e; all such p^k divide p^e.

Generally for n with A001221(n) = 1, a(n) = -1 * A000005(n), since the cototient is restricted to divisors, and in the case of p^e > 4, divisors and numbers in A272619(p^e) not counted by A010846(p^e).

For m >= 3, a(A002110(m)) is positive.

For m >= 9, a(A244052(m)) is positive.

A010846(n) = A000005(n) + A243822(n).

A000079 = records in -1 * A299990, since A243822(p^e)=0 for e>=0, n = 2^k sets records in A000005(n). The corresponding records are in A000027.

Number of terms less than 10^k with 0 <= k <= 7: {0, 1, 6, 18, 32, 51, 68, 96}.

The cototient of n consists of numbers 1 < m <= n that are not coprime to n, i.e., gcd(m,n) > 1. These numbers have at least one prime divisor p that also divides n. The cototient of n contains the divisors d of n; the remaining nondivisors in the cototient of n are listed in A133995. The counting function of A133995 is A045763(n). There are two species of numbers in the nondivisor-cototient of n: those in row n of A272618, of which A243822(n) is counting function, and those in row n of A272619, of which A243823(n) is the counting function. The former species divides n^e for integer e > 1, while the latter does not divide any integer power of n.

A045763(p) = 0 for p prime, therefore there are no primes in a(n).

Except for prime terms (i.e., 2), A002110 is a subset as primorials minimize the totient function. The divisor counting function is increasingly vanishingly small compared to the totient function for A002110(i) as i increases, and A002110(i) for 1 < i <= 9 is observed in a(n).

Conjectures based on 1255 terms of a(n) < 36,000,000:

1. There are no prime powers p^e > 1 in a(n), i.e., the intersection of a(n) and A000961 is {1}.

2. A293555 is a subset of A300859. Numbers that have a lot of nondivisors m | n^e with e > 1 (i.e., in row n of A272618 and counted by A243822(n)) tend to reduce the totient and increasingly have fewer divisors than highly composite numbers, widening the nondivisor-cototient.

3. A300156 is a subset of A300859. Numbers that have more nondivisors m | n^e with e > 1 (i.e., in row n of A272618 and counted by A243822(n)) than divisors tend to reduce the totient and have fewer divisors than highly composite numbers (i.e., those n in A002182), widening the nondivisor-cototient.

Increasingly many terms k in A262867 also appear in a(n) as k increases. A292867 lists record-setters in A243823, which is the counting function of one of the two species of nondivisors in the cototient of n.