OFFSET
1,1
EXAMPLE
m = 407: Sum_{k = 1..407} gcd(407, floor(407 / k)) = 909, Sum_{k = 1..407} gcd(407, ceiling(407 / k)) = 899, 909 > 899, thus m = 407 is a term.
PROG
(PARI) isok(m) = sum(k=1, m, gcd(m, floor(m/k))) > sum(k=1, m, gcd(m, ceil(m/k))); \\ Michel Marcus, Jun 28 2025
CROSSREFS
KEYWORD
nonn
AUTHOR
Ctibor O. Zizka, Jun 27 2025
STATUS
approved
