Add day to date on clock change
Add days to JavaScript Date
Prove $(1-a)(1-b)(1-c)(1-d)&gt;1-a-b-c-d$ and $ a,b,c,d$ are real and between 0 and 1.    I can do this with $$(1-a)(1-b)&gt;1-a-b  \\ 1-a-b+ab&gt;1-a-b  \\ ab&gt;0  $$  But with $c$ and $d$, this becomes much more difficult. Can someone nudge me in the right direction? $H_0(X,A) = 0 \iff A \cap X_i \neq \emptyset \forall $ path-components $X_i$ I've been doing some more exercises in , in particular the following:  Show that $H_0(X,A) = 0$ iff $A$ meets each path-component of $X$.  "$\Leftarrow$": Let $x_i \in A \cap X_i \neq \emptyset \forall $ path-components $X_i$. Then for any $x \in X_i$ there is a path $\gamma$ from $x_i$ to $x$. They therefore differ by a boundary: $\partial \gamma = x - x_i$ and therefore $\{&#160;x \} = \{ x_i \}$ in $H_0(X,A) $. Therefore $H_0(X,A) = 0$.  "$\Rightarrow$" Now for this direction I'm not so sure and I'd be glad if you could give me a hint. Let $H_0(X,A) = 0$. By definition, the relative homology group is calculated from the following sequence of chain groups:  $$ 0 \rightarrow C_0(A) \rightarrow C_0(X) \xrightarrow{\partial_1} C_0(X) / C_0(A) \xrightarrow{\partial_0} 0$$  Then $H_0(X, A) = H_0(C_0(X) / C_0(A)) = ker \partial_0 / im \partial_0 = (C_0(X) / C_0(A) ) / im \partial_1 = 0$.  There are two cases where this equality holds:  (i) $C_0(X) / C_0(A) = 0$  (ii) $im \partial_1 = C_0(X) / C_0(A)$  In case (i), $A \cap X_i \neq \emptyset$ for all $X_i$.  In case (ii) I'm not sure how to proceed. Can you give me a hint? Many thanks for your help!  Edit Or maybe I could do the second direction like this:  $$0 = H_0(X,A) = \oplus_i H_0(X_i, A) \implies  H_0(X_i, A) = 0 \forall i$$  $$ \implies A \cap X_i \neq \emptyset \forall i$$? How do I use formatting in comments? I see some people write comments that are for example - in italics.  I do not see any way of doing that while writing my comments. Why is it so? How to determine if a type implements a specific generic interface type What exactly goes into a transformer's VA rating? At a fundamental level it seems that there has to be a limit to what the VA rating can represent.  For example if I draw 2 Amps-RMS from the secondary of a 30VA rated transformer at 15 Vrms this makes sense as the maximum Complex Power I can draw. Still, at a power factor of 1 my maximum current in the transformer would be sqrt(2) * 2 Amps.   But what if my power factor is abysmally low (ie in a DC rectifier) due to harmonic distortion and while I still draw 2A-RMS I have brief current spikes of 15 Amps? Surely the transformer's magnetics couldn't handle these spikes as I'd expect the core would saturate.  My question is what is the practical limit for VA ratings of transformers? Would brief current spikes that reduce to only 2A-RMS in this case be fine? Obviously the secondary/primary copper losses play a part in the rating but how do the magnetics factor in?  I ask this because I am designing a simple bench power supply using a 125VA transformer with a 24Vrms secondary and am trying to figure out how much power I can draw before the current spikes into the inductor are too much for the transformer. I also don't want to have to resort to active PFC as I don't want to risk messing up any HVAC PCB design.  Thank you I would like to show that   $$ \int_{0}^{1} \frac{x-1}{\ln(x)} \mathrm dx=\ln2 $$  What annoys me is that $ x-1 $ is the numerator so the geometric power series is useless.  Any idea? Applying Zorn's Lemma to natural numbers Zorn's Lemma states that if every chain $C$ in a partially ordered set $X$ has an upper bound then there is at least one maximal element in $X$.  Let $n\in \mathbb{N}$, $C_n \subset \mathbb{N}$ be the set containing the natural numbers $\{1,\dots,n\}$. Then if $k\le n$, $C_k\subset C_n$, so $C_n$ is a chain. Also, $C_n$ has an upper bound, such as $n+1$. But what is the maximal element of $\mathbb{N}$?  There's something I don't get in Zorn's Lemma statement. in elisp's let, how do you reference a variable bound in the same let while binding another variable? How do I remove "Ubuntu" in the bios boot menu? (UEFI) every permutation is either even or odd,but not both How we can show every permutation is either even or odd,but not both......I can't arrive at a proof for this ..... Can anybody give me the proof...  Thanks in advance... What is the correct way to create a single-instance WPF application? Using C# and WPF under .NET (rather than  or console), what is the correct way to create an application that can only be run as a single instance?  I know it has something to do with some mythical thing called a mutex, rarely can I find someone that bothers to stop and explain what one of these are.  The code needs to also inform the already-running instance that the user tried to start a second one, and maybe also pass any command-line arguments if any existed. I'm trying to get Intel and Nvidia graphics card working together with two monitors. One monitor should use the Intel card and the other the Nvidia card. Of course, I want to use only one keyboard and one mouse to switch between both screens. Bumblebee didn't work for me.  I don't want to use the xserver-xorg-video-all package because I need the Nvidia card for gaming and I can't use only one graphics card because I need one for KVM virtualisation and the other one for my Linux desktop  So I tried to install the drivers and to configure the Xserver manually. The Nvidia driver is working and I get a video output. But I don't get a video output with the Intel card.  I followed   The config files: Where do I put my systemd unit file? Set keyboard caret position in html textbox Does anybody know how to move the keyboard caret in a textbox to a particular position?  For example, if a text-box (e.g. input element, not text-area) has 50 characters in it and I want to position the caret before character 20, how would I go about it?  This is in differentiation from this question:  , which requires jQuery. Python csv.reader: How do I return to the top of the file? When I'm moving through a file with a csv.reader, how do I return to the top of the file.   If I were doing it with a normal file I could just do something like "file.seek(0)".  Is there anything like that for the csv module?  Thanks ahead of time ;) How can I get dramatic shallow DOF with a kit lens? Appending the same string to a list of strings in Python piping in real time This is more a conceptual thing than a current problem.  Would it be possible to do this:  tail -f &lt;file&gt; | grep "string" | sed 's/stuff//g' &gt;&gt; output.txt  The problem I'm thinking is that tail -f never terminates so it won't progress in the command. I'm trying to read and output a file in real-time. If this doesn't work how would I do it? Why is $\sqrt {12} = 2 \sqrt 3$? Can I visit the US twice within a 90 day period under the Visa Waiver Programme? 2nd time is only to transfer (change terminal, not airside).