I have a proof that I'm working on and it goes like this:  Assume $a_k &gt; 0$ and $a_k$ is monotonically decreasing. Show that: $$\sum_{k=1}^\infty a_k &lt; \infty \iff \sum_{k=0}^\infty b_k &lt; \infty$$  where $b_k = 2^k a_{2^k}$  My problem is that I don't know where I can start versus what I have to show beforehand. Do I start by showing that since $a_k &gt; 0$ and it is monotonically decreasing, then we also assume that $\sum_{k=1}^\infty a_k &lt; \infty$ and use that assumption to get to the RHS of the relationship?  I'm still fairly new to proofs, so I'm not sure, but think that this is how it works.  However, I don't have much of a good idea on how to show that the left-hand side is true only if the right hand side is true.  Any and all help and encouragement is appreciated.
I have to prove the  by tomorrow and I am really unconfident about what I did:  $$\sum_{n=1}^\infty a_n\text{ converges } \iff \sum_{n=1}^\infty 2^n a_{2^n}\text{ converges}$$  I did the following:  Let $(b_n)$ be a sequence as follow: $b_{2^k+m}:=a_{2^k}$ with $k\in\mathbb N_0$ and $0\leq m&lt;2^k$.  It's $a_{n+1}\leq a_n$ and so $0\leq a_{n+p}\leq a_n$ for all $n,p\in\mathbb N$.  So $\sum\limits_{n=1}^\infty b_n$ converges by the majorizing series $\sum\limits_{n=1}^\infty a_n$. And it's $\sum\limits_{n=0}^\infty b_n=\sum\limits_{n=0}^\infty\sum\limits_{m=0}^{2^n-1}a_{2^{n+1}}=\sum\limits_{n=1}^\infty 2^{n-1}a_{2^n}$ so $\Rightarrow$ is done.  For $\Leftarrow$ consider $c_{2^k+m}:=a_{2^k}$ with $k\in\mathbb N_0$ and $0\leq m&lt;2^k$.  It's $|a_n|\leq c_n$ and $\sum\limits_{n=0}^\infty c_n=\sum\limits_{n=0}^\infty\sum\limits_{m=0}^{2^n-1}a_{2^{n}}=\sum\limits_{n=1}^\infty 2^{n}a_{2^n}$ and so $\sum\limits_{n=1}^\infty a_n$ converges by the majorizing series $\sum\limits_{n=0}^\infty c_n$.  Is this in form and content correct?
How do you do a deep copy of an object in .NET? I want a true deep copy. In Java, this was easy, but how do you do it in C#? In my resume, I'm describing several projects I've worked on in the past. Most of them were done in teamwork. What is the best way to say this?  Examples:  Together with XY, I built ... OR  In collaboration with XY, I built ... OR  XY and I built ...  Are the first two examples grammatically correct? I'm unsure since first I state that something has been done in collaboration with a second person, but then I use "I built ...". Let $f \in L^1(\mathbb{R})$, for $a\in \mathbb{R}$ let $f_a(x)=f(x-a)$, prove that: $$\lim_{a\rightarrow 0}\|f_a -f \|_1=0$$  I know that there exists $g\in C(\mathbb{R})$ s.t $\|f-g\|_1 \leq \epsilon$, this is also true for $f_a$ and $g_a$.  Now I have the next estimation:  \begin{align*} \|f_a-f\|_1 &amp;= \int_{\mathbb{R}} |f(x)-f(x-a)| dx \\ &amp;= \int |f(x)-g(x)+g(x)-g(x-a)+g(x-a)-f(x-a)| \\ &amp;\leq \|f-g\|_1 + \|f_a-g_a\|_1 + \int |g(x)-g(x-a)| \end{align*} my question is: I can argue that $\lim_{a\to0} \int |g(x)-g(x-a)| = \lim_{a\to0} \lim_{T\to\infty} |g(x_0)-g(x_0-a)| 2T$, now I think that I can change the order of the limits here, but I am not sure why?  P.s $x_0$ is some point in $[-T,T]$, and the above is valid from the intermediate integral theorem for continuous functions, right?  Thanks. Drawing Mechanical Systems in LaTeX I really like CircuiTikZ for drawing diagrams in my LaTeX documents. However I mostly draw mechanical and not electronic systems, which is why I'm looking for some similar way to draw mechanical systems. What I want is something to draw masses, springs, dampers and ground (boundary condition).  are typical examples:     Anybody got some suggestions or am I out of luck? I entered the USA on a Visa Waiver Program (VWP) on 1 July 2012 and stayed until 16 Sep 2012 (78 days).  On what date in 2013 will I be able to travel to USA again under VWP? Short story as a letter to original colonisers of earth Breaking of diffeomorphism invariance after fixing a background metric UK visa: unsigned application form How would I change file permissions if the file name has a space in it in linux I would like to know how would I rename and change file permissions of a file that contains a space in the name on Linux.  Example  The name of my file is: my file   I have tried mv my%20file my_file  I have also tried chown -R 755 my%20file  but both of these don't work! How to Remove URLs from Google Search Engine If $f:D\to D’$ is analytic and $u: D'\to R$ is harmonic then the composition of $u$ and $f$ is harmonic in $D$ If $f:D\to D’$ is analytic and $u: D'\to R$ is harmonic then the composition of $u$ and $f$ is harmonic in $D$.  How can I show that the above statement is true/false? Can anyone help me? There's a spaceship, nearing the end of its journey. Everybody on board is in cryosleep. For some reason the wake-up system malfunctions, and the ship will fly on indefinitely. The people at the space port realise this, and try to wake someone up. Their last resort is finding someone on board who is telepathic, and wake this person up. They find one, but it turns out to be an unborn baby. Update Windows 8 Enterprise to Windows 8.1 Enterprise KMS activation So it is shown that volume license packages of Windows 8, like Pro and Enterprise, are unavailable for upgrading.  I received a link last night to download the Windows 8.1 Enterprise 90-day Evaluation, but it will replace my current Windows 8 Enterprise version.  Is it known when these versions will become available for upgrade? I've been waiting patiently for weeks to get this upgrade.  Thanks. My computer only has one USB-C port and I want to connect multiple USB-C devices to it.  I have trawled through Amazon but am amazed that I cannot find a single one. There are many hubs that have USB 3.1 USB-A ports but not USB-C ones.  Is there a limitation in the spec that prevents this being possible? LaTeX template for resume/curriculum vitae If you have a TeX'ed resume, did you use a template or make your own? Are there any useful packages? What looks the most professional? How about special considerations for different areas of work (e.g. in academia)? Understanding how references and labels work I have come across these three definitions of the limit superior (or upper limit) and the limit inferior (or lower limit) of a sequence of real numbers and I wonder how to establish the equivalence of these.    Walter Rudin: PRINCIPLES OF MATHEMATICAL ANALYSIS, 3rd edition:  Definition 3.16: Given a sequence $\{s_n\}$ of real numbers, let $E$ be the set of numbers $x$ (in the extended real number system) such that $s_{n_k} \to x$ for some subsequence $\{s_{n_k}\}$. This set contains all subsequential limits ..., plus possibly the numbers $+\infty$, $-\infty$. We now ... put  $$s^{*} = \sup E,$$ $$s_{*} = \inf E.$$ The numbers $s^{*}$, $s_{*}$ are called the upper and lower limits of $\{s_n\}$; we use the notation  $$ \lim_{n \to \infty} \sup s_n = s^{*}, \, \, \, \lim_{n \to \infty} \inf s_n = s_{*}.$$ Tom M. Apostol: MATHEMATICAL ANALYSIS, 2nd edition:  Sec. 8.3: Definition 8.2: Let $\{a_n\}$ be a sequence of real numbers. Suppose there is a real number $U$ satisfying the following conditions:    i} For every $\epsilon &gt; 0$ there exists an integer $N$ such that $n &gt; N$ implies $$a_n &lt; U + \epsilon.$$ ii) Given $\epsilon &gt; 0$ and given $m &gt; 0$, there exists an integer $n&gt; m$ such that $$a_n &gt; U - \epsilon.$$ Then $U$ is called the limit superior (or upper limit) of $\{a_n\}$, and we write $$U = \lim_{n \to \infty} \sup a_n.$$ Statement (i) implies that the set $\{a_1, a_2, a_3, \ldots \}$ is bounded above. If this set is not bounded above, we define $$\lim_{n\to\infty}\sup a_n = +\infty.$$ If the set is bounded above but not bounded below and if $\{a_n\}$ has no finite limit superior, then we say $\lim \sup_{n\to\infty} a_n = -\infty$. The limit inferior (or lower limit) of $\{a_n\}$ is defined as follows: $$\lim_{n\to\infty}\inf a_n = -\lim_{n\to\infty}\sup b_n,$$ where $b_n = -a_n$ for $n= 1, 2, 3, \ldots$.    Robert G. Bartle and Donald R. Sherbert: INTRODUCTION TO REAL ANALYSIS, 3rd edition: Exercises for Section 3.3: Problem 10: Let $(x_n)$ be a bounded sequence of real numbers, and for each $n\in \mathbb{N}$ let $s_n \colon= \sup \{x_k \colon k \geq n\}$ and let $t_n \colon= \inf \{x_k \colon k \geq n\}$. Prove that $(s_n)$ and $(t_n)$ are monotone and convergent. Also prove that if $\lim (s_n) = \lim (t_n)$, then $(x_n)$ is convergent. [One calls $\lim (s_n)$ the limit superior of $(x_n)$ and $\lim (t_n)$ the limit inferior of $(x_n)$.]   Now how can one show that the above three definitions are equivalent (i.e. these three definitions are of the same pair of numbers)? Saving Arduino sensor data to a text file It's really hard to get started on Stack Overflow I have been on Stack Overflow for some time.  It is an AMAZING resource and don't know if I would've got through the past 18 months without it.  I love it!  Problem is that I have "1" reputation.  All of my questions have already been asked and answered.  My "new user restrictions" mean: - I can't vote up answers that were helpful. - I can't comment on answers.  I sometimes have a question to ask one of the users that answered someone else's question but I can't.  This is hard!  How do I get a break?  Do I have to troll for a couple of days/weeks/months to answer enough questions in the hope someone votes some of them up just so I can do some basic functions?  Perhaps the number of site visits and length of membership could count for something? Can it be proven in $\sf ZF^{\neg\infty}$ that the sets $x_n=\{x_{n+1}\}$ do not exist?