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 A260489 #15 Nov 15 2023 20:29:33 %S A260489 0,2,4,5,5,7,5,7,8,8,5,7,8,8,10,8,10,8,5,7,8,8,10,8,10,11,11,8,10,11, %T A260489 11,8,10,8,5,7,8,8,10,8,10,11,11,8,10,11,11,13,11,13,11,8,10,11,11,13, %U A260489 11,13,11,8,10,11,11,8,10,8,5,7,8,8,10 %N A260489 a(n) = 3n - A260488(n). %C A260489 The sequence is nonnegative for at least the first 10000 terms, so the nonn keyword was used. That it is always nonnegative is a conjecture. That it is unbounded is also a conjecture. %C A260489 The sequence is nonnegative for essentially the reason given in A225838 for its terms exceeding the terms of its complement. Here, the customers are labeled with numbers, m, that are powers of 2 and they each deposit 2 coins at each epoch (6k+1)*m and withdraw them separately at epoch (6k+3)*m and (6k+5)*m. The terms here are the number of coins in the vault after the n-th deposit. Simple accountancy says the sum of nonnegative bank balances is nonnegative. - _Peter Munn_, Nov 15 2023 %Y A260489 Cf. A008585, A225838, A260488. %K A260489 nonn %O A260489 0,2 %A A260489 _Franklin T. Adams-Watters_, Jul 27 2015