This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A342591 #8 Mar 17 2021 13:05:50 %S A342591 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,24,25,26,28, %T A342591 30,32,33,34,36,40,42,46,48,54,60,78 %N A342591 Numbers k such that A340740(k) <= k. %C A342591 Numbers k such that Sum_{1<=j<=k/2, j and k coprime} (k-j mod j) <= k. %C A342591 Conjecture: these are all the terms. %C A342591 The terms with A340740(k) = k are 19 and 48. %e A342591 a(7) = 7 is a term because A340740(7) = 2 <= 7. %p A342591 f:= proc(n) local k; %p A342591 add(`if`(igcd(k, n)=1, n mod k, 0), k=1..floor(n/2)) %p A342591 end proc: %p A342591 select(t -> f(t) <= t, [$1..1000]); %Y A342591 Cf. A340740 %K A342591 nonn,more %O A342591 1,2 %A A342591 _J. M. Bergot_ and _Robert Israel_, Mar 16 2021