OFFSET
0,2
COMMENTS
Smallest index of n in A188171.
a(n) exists for all n, since 5*3^(2n-2) has exactly n divisors of the form 8*k + 1, namely 5*3^0, 5*3^2, ..., 5*3^(2n-2). This actually gives an upper bound (which is too far from reality when n is large) for a(n).
LINKS
Bert Dobbelaere, Table of n, a(n) for n = 0..200
FORMULA
a(2n-1) <= 3^(2n-2) * 35, since 3^(2n-2) * 35 has exactly 2n-1 divisors congruent to 5 modulo 8: 3^0 * 5, 3^2 * 5, ..., 3^(2n-2) * 5, 3^1 * 7, 3^3 * 7, ..., 3^(2n-3) * 7.
a(2n) <= 3^(n-1) * 455, since 3^(n-1) * 455 has exactly 2n divisors congruent to 5 modulo 8: 3^0 * 5, 3^2 * 5, ..., 3^b * 5, 3^1 * 7, 3^3 * 7, ..., 3^a * 7, 3^0 * 13, 3^2 * 13, ..., 3^b * 13, 3^1 * 455, 3^3 * 455, ... 3^a * 455, where a is the largest odd number <= n-1 and b is the largest even number <= n-1.
EXAMPLE
a(4) = 585 since it is the smallest number with exactly 4 divisors congruent to 5 modulo 8, namely 5, 13, 45 and 585.
PROG
(PARI) res(n, a, b) = sumdiv(n, d, (d%a) == b)
a(n) = for(k=1, oo, if(res(k, 8, 5)==n, return(k)))
CROSSREFS
KEYWORD
nonn
AUTHOR
Jianing Song, Apr 05 2021
EXTENSIONS
More terms from Bert Dobbelaere, Apr 09 2021
STATUS
approved