|
%I #15 Sep 10 2016 10:24:20
%S 1,2,2,3,3,3,3,3,4,4,4,5,5,5,5,6,6,7,7,8,8,8,8,9,10,10,10,11,11,12,12,
%T 13,13,13,13,13,13,13,13,14,14,15,15,16,17,17,17,18,19,20,20,21,21,22,
%U 22,23,23,23,23,23,23,23,24,25,25,26,26,27,27,28,28,28,28,28,29,30,30,31,31,32,33,33,33,33,33,33,33,34,34,34,34,35,35,35,35,35,35,36
%N Least monotonic left inverse for A182859.
%C Partial sums of A262683.
%H Antti Karttunen, <a href="/A262685/b262685.txt">Table of n, a(n) for n = 1..10002</a>
%F a(1) = 1, for n > 1, a(n) = A262683(n) + a(n-1).
%F Other identities and observations. For all n >= 1:
%F a(A182859(n)) = n.
%F a(n) <= 2 + A065855(n). [See formula section of A262684.]
%o (Scheme, with memoization-macro definec)
%o (definec (A262685 n) (if (= 1 n) n (+ (A262683 n) (A262685 (- n 1)))))
%Y Cf. A000005, A036459, A065855, A182859, A262683, A262684, A262691.
%K nonn
%O 1,2
%A _Antti Karttunen_, Sep 28 2015
%E Typo in formula corrected by _Antti Karttunen_, Sep 09 2016
|
