Dtjytyk

If I were to sum the infinite series:

$$sum_{i=1}^infty frac{1}{2^n} = frac{1}{2^1}+frac{1}{2^2}...frac{1}{2^infty}$$

but as soon as the previous partial sum
$sum_{i=1}^infty frac{1}{2^{n-1}}$ becomes greater than 0.9 I subtract $frac{1}{2^n}$ instead of adding it, forcing the series to approach 0.9.

What would would be the simplest form to write that, possibly using Iverson brackets? I'm not sure how to deal with the negative value though.

$$sum_{i=1}^infty frac{1}{2^n}.[sum_{i=1}^infty frac{1}{2^{n-1}} < 0.9]$$

or is this valid?

$$sum_{i=1}^infty f(n)=begin {cases} frac{1}{2^n} & sum_{i=1}^infty frac{1}{2^{n-1}} < 0.9\
frac{-1}{2^n} & sum_{i=1}^infty frac{1}{2^{n-1}} > 0.9 end {cases}$$

or maybe:

$$sum_{i=1}^infty f(n)=begin {cases} frac{1}{2^n} & sum_{i=1}^{n-1} frac{1}{2^n} < 0.9\
frac{-1}{2^n} & sum_{i=1}^{n-1} frac{1}{2^n} > 0.9 end {cases}$$

Using Iverson brackets, this can be written as $sum_{n=1}^infty f(n)$, where $f(n)$ is defined by
$$
f(n)=2^{-n}-2^{-n+1}left[sum_{k=1}^{n-1}f(k) ge0.9right].
$$
When $n=1$, we use the convention $sum_{k=1}^0f(k)=0$, as this is the empty sum.

Unlike most function definitions (let $f(n)=n^2$), this one is inductive, so it takes a little thought to convince yourself that it is a valid definition. Since the value of $f(n)$ only depends on the value of $f(k)$ for $k<n$, with the base case $f(1)=1$, there is no problem.

Claim:

The sign of the $k$-th term is precisely $(-1)^{lfloortfrac{k+1}{2}rfloor}$, excep for $k=1$ and $k=2$. To be precise, setting
$$f(1):=frac12,
qquad
f(2):=frac14,
qquadtext{ and }qquad
f(k):=frac{(-1)^{lfloortfrac{k+1}{2}rfloor}}{2^k}
quad
text{ for all }k>2,$$
yields the desired sum. This means that for all $mgeq1$ the partial sum $S_m:=sum_{k=1}^mf(k)$ satisfies
$$begin{array}{ccc}
S_m<0.9quad&implies&quad f(m+1)>0,\
S_m>0.9quad&implies&quad f(m+1)<0.tag{1}
end{array}$$

Proof:

This is clear for $m=1$ and $m=2$. To simplify $(1)$ note that $S_mneq0.9$ for all $m$ because the denominator of $S_m$ is a power of $2$ whereas $0.9=frac{3}{10}$. So $(1)$ is equivalent to
$$S_m<0.9qquadiffqquad f(m+1)>0.$$
Moreover, the sign of $f(m+1)$ can be expressed simply in terms of $m$ because
$$f(m+1)>0
quadiffquad
(-1)^{lfloortfrac{m+2}{2}rfloor}>0
quadiffquad
m+2equiv2,3pmod{4}.$$
For $m>2$, to get rid of the first two irregular terms in the partial sum $S_m$, set $T_m:=sum_{k=3}^mf(k)$. Then $T_m=S_m-tfrac34$ and $(1)$ now simplifies to
$$T_m>frac{3}{20}qquadiffqquad mequiv0,1pmod{4}.$$
Writing out the first few summands of $T_m$ shows that if $m$ is even we can group the summands into pairs to get a simple geometric sum, for which it is easy to find a closed form:
begin{eqnarray*}
T_{2n}&=&left(frac{1}{8}+frac{1}{16}right)
-left(frac{1}{32}+frac{1}{64}right)
+left(frac{1}{128}+frac{1}{256}right)
-cdots\
&=&sum_{k=1}^nleft(-frac{1}{4}right)^kleft(frac{1}{2}+frac{1}{4}right)
=frac{3}{4}sum_{k=1}^nleft(-frac{1}{4}right)^k\
&=&frac{3}{4}frac{tfrac{1}{4}-left(-tfrac{1}{4}right)^{n+1}}{1-left(-tfrac14right)}
=frac{3}{20}left(1-left(-frac{1}{4}right)^{n+1}right)\
&=&frac{3}{20}+frac{3}{5}left(-frac{1}{4}right)^ntag{2}
end{eqnarray*}
In particular, this last expression shows that $T_{2n}>frac{3}{20}$ if $n$ is even and $T_{2n}<frac{3}{20}$ if $n$ is odd. This proves $(1)$ for all even $m$. For odd $m$, we simply add one summand to $(2)$ to get
begin{eqnarray*}
T_{2n+1}&=&
frac{3}{20}+frac35left(-frac{1}{4}right)^n+frac{(-1)^{2n+1}}{2^{2n+1}}\
&=&frac{3}{20}+(-1)^nfrac35left(frac{1}{4}right)^n-frac12left(frac{1}{4}right)^n\
&=&frac{3}{20}+left((-1)^nfrac35-frac12right)left(frac{1}{4}right)^n,
end{eqnarray*}
which shows that $T_{2n+1}>tfrac{3}{20}$ if $n$ is even and $T_{2n+1}<tfrac{3}{20}$ if $n$ is odd. This proves $(1)$ for all odd $m$, and hence for all $m$.