Clauses of purpose: "for + -ing" or "to-infinitive
How does one know when to use a gerund or an infinitive?
Here is my attempt to prove the Well-Ordering Principle, i.e. that any non-empty subset of $\Bbb N$, the set of natural numbers, has a minimum element.  Proof. Suppose there exists a non-empty subset $S$ of $\Bbb N$ such that $S$ has NO minimum element. Define $A = \left\{n\in \Bbb N : (\forall s\in S)(n \leq s)\right\}$. It is obvious that $1\in A$. Suppose $n\in A$, then for each $s \in S$, there exists $q \in N$ such that $n + q = s$. Since $q \ge 1$, $n+1 \leq s$, for all $s\in S$. By Principle of mathematical induction, $A = \Bbb N$. Take any $s_0 ∈ S$, then $(\forall s\in S)(s_0 \leq s)$. (This contradicts that $S$ has no minimum element).  How do I prove the statement without invoking Mathematical Induction? Also, I read that the proof of Principle of Mathematical Induction makes use of Well-Ordering. Can it be proven independently of Well-Ordering too? How general is the Lagrangian quantization approach to field theory? Outcast boy meets girl underwater Here's another one I can't find, but somebody will probably recognize right away. A young man has been thrown out of respectable society. To make sure he stays away from people (and they stay away from him), those who have condemned him alter his body so that he always smells bad. Of course, no one can smell underwater - and that's where he meets a girl, while they're both swimming underwater in a swimming pool. I don't remember a lot of details about this story - but I remember the main character was not very nice - he was often mean to other people. Whether he'd always been like that, or whether his nastiness was because everyone had rejected him, I can't remember. I would have read this story in the mid-seventies, but it was probably written earlier. The default is that clicking on the folder in the unity dock opens the home directory.   Since there are shortcuts for all the sub-folders of the home directory in the sidebar already, I'd prefer the default directory to move to a different location (~/Documents).  How can I achieve this? Participles to modify the subject of the main clause "Essos is an immense landmass located to the east of Westeros,   extending into the far east of the known world." (Here, "extending"   describes the Essos or does it describes the landmass? )   Having seen this sentence above, I question came to my mind.   Can I use participles to modify the subject of the main clause when there is no connection between main clause and participle clause. For example:      1- "He is a bookworm, living in Canada. (He is a bookworm + He lives in   Canada, there is no connection between being bookworm and living in   Canada)      2- He, living in Canada, is a book worm. (I suppose, this placement would be more correct) In a topological space, why the intersection only has to be finite? I was wondering if there is a reason why in the definition of a topologic space, the reunion of any collection of open sets is also an open set but the intersection has to be finite to be a set.  Is there because of the definition of an open set itself ? I have always seen it as a definition, but now I want to know why.  Thanks for your help. I would like to know how can I customize the Ubuntu installer NOT customize Ubuntu, I just want to modify the installer.  We have a large environment here with lots of developers and since we don't use Windows, I want to customize the installer to automatically set the timezone to NYC, the keyboard layout to English USA, put the company logo in the installer etc... Can gravity be interpreted as the acceleration of spacetime towards an object? Greetings StackExchange!  We were having a conversation with a peer about stupid ways of interpreting theories. We would go to and fro with an interpretations, but we would always find a way to disprove them. There was one, however, that we couldn't refute:  Gravity on a plane in a bidimensional space can be interpreted as the acceleration of spacetime towards an object.   We tried to invalidate in saying that the inertial mass and gravitational mass would be different, thus violating GR, but after some thought this couldn't be. The gravitational mass would accelerate spacetime towards it. If that object we were to be pushed, the pulling of spacetime would make it difficult for it to move.   We know for a fact this can't be true, and we would greatly appreciate any refutation of this thought. I can clarify if needed, or do a sketch. I apologise in advance as I'm not a native speaker. 'Search on Yammer' link in search center refiners I have a heavily branded site I'm working on and can't find where the "Search on Yammer" link is being populated from. It appears within the search refiner/filter web part in the left column but none of the display templates reference this.   I'd like to be able to customize the link, placement on the page, etc. without resorting to jQuery to move elements around the page.     And the markup coming through looks like this. The refiners themselves come through a series of display templates but the Yammer link is nowhere that I can see in any of them.   &lt;div webpartid="f09e98eb-6dc3-4a9b-8dbf-65d0fbc7b7c3" haspers="false" id="WebPartWPQ4" width="100%" class="ms-WPBody " allowdelete="false" style=""&gt;     &lt;div class="ms-ref-ctrl"&gt;         &lt;div class="ms-ref-refiner"&gt;             &lt;div id="Container"&gt;                 &lt;h2 class="ms-displayInline"&gt;                     &lt;a class="ms-ref-name ms-displayInlineBlock ms-srchnav-link-selected ms-link" href="javascript:void(window.open(                     'https://www.yammer.com/search?trk_event=o365_search&amp;amp;search='+                     encodeURIComponent(Srch.ScriptApplicationManager.get_current().queryGroups.                     Default.dataProvider.get_currentQueryState().k),'_blank'));" title="Open a new tab to search for this on Yammer"&gt;Search on Yammer&lt;/a&gt;                 &lt;/h2&gt;             &lt;/div&gt;         &lt;/div&gt;     &lt;/div&gt; &lt;/div&gt; &lt;div componentid="ctl00_SPWebPartManager1_g_f09e98eb_6dc3_4a9b_8dbf_65d0fbc7b7c3_csr" id="ctl00_SPWebPartManager1_g_f09e98eb_6dc3_4a9b_8dbf_65d0fbc7b7c3_csr"&gt;             ... refiners populated through display templates ... &lt;/div&gt; I was curious how I would go about running multiple commands via shell script.  For example, just to try it out, I'd like to be able to connect a .desktop to a .sh that will run all the update codes so I don't have to type it out. I know how to execute a single command via a .sh, not multiple.  Any way? Loopback to forwarded Public IP address from local network - Hairpin NAT Often times I am not interested in the question so much as I am the answer. Unfortunately, the only site option for bookmarking an optimal answer is to bookmark the question. This leaves you having to remember that no the question wasn't that great, but there's an answer in here worth a million. It'd be nice to be able to favorite an answer allowing you to jump immediately to the answer that was much more valuable than the question. I understand that I can bookmark the answers link using my browser but it seems being able to favorite the answer within the site's ecosystem is useful. Installing older iOS for device testing Change multiple filenames by replacing a character I have multiple files named like that : screenshot 13:25.png Windows struggle to open these files probably because of the ":".  How can I replace it? Why is the space between words in my source code listing so big? I used the following code to list my java code, but the it looks like there's too much space between words. What can I do?  % source code listing \usepackage{listings} \usepackage{color} \usepackage{xcolor}  \usepackage{caption}  % citation style \usepackage{apacite} \DeclareCaptionFont{white}{\color{white}} \DeclareCaptionFormat{listing}{\colorbox{gray}{\parbox{\textwidth}{#1#2#3}}}  \begin{document} \begin{lstlisting}[label=some-code,caption=bind to service call] bindService(new Intent(this, Recognizer.class), recConnection, Context.BIND_AUTO_CREATE); \end{lstlisting} \end{document}   The snapshot of what I got. The code not completely shown, and space too wide, in function bindService. Can you set custom ringtones for contact groups? In iPhone, you can easily change the default ringtone (Settings → Sounds → Ringtone) and set a custom ringtone for individual people (Contacts → [some person] → Edit → Ringtone).   But can you set a custom tone for a group of contacts? (E.g. "family" or "workmates".)  I think that would be handy—and quite basic functionality, so to speak—but I couldn't find a way to do this through the iPhone UI. Is it possible at all (without jailbreaking)? How to prove that $\frac{x^2}{yz+2}+\frac{y^2}{zx+2}+\frac{z^2}{xy+2}\geq \frac{x+y+z}{3}$ holds for any $(x,y,z)\in[1,2]^3$ Prove that for $x,y,z\in [1,2]$ the following inequality holds: $$\frac{x^2}{yz+2}+\frac{y^2}{zx+2}+\frac{z^2}{xy+2}\geq \frac{x+y+z}{3}.$$ I tried to apply the Cauchy-Schwarz inequality or the power mean inequality, but my attempts were unsuccessfull, so I am asking for help. Prove that the difference between two rational numbers is rational This is a terribly simple question I'm sure, but I can't find a work-around in my proof. I must prove that the difference between two rational numbers is thus rational. Here is my attempt:     Let $a$ and $b$ be rational numbers. Therefore, \begin{align}  a=\frac{\lambda}{\beta},\:b=\frac{\xi}{\zeta},\:\ni\:\lambda,\beta,\xi,\zeta\in\mathbb{Z},\tag{1} \end{align} which gives us \begin{align}  a-b=\frac{\lambda}{\beta}-\frac{\xi}{\zeta}=\frac{\lambda\zeta-\xi\beta}{\beta\xi}.\tag{2} \end{align}   So I have shown that $a$ and $b$ are rational numbers which, by definition, can be represented by the quotient of two integers. But now how do I tackle the problem of the difference? By definition the difference between two integers is an integer. Does that require that this difference is thus rational?  Thank you for your time, How do I include lines in resolv.conf that won't get lost on reboot? I'm trying Google's PageSpeed online service  Ironically, it's primarily highlighting Google's own services as something that needs improvement on my site  1) jQuery from Google: blocking. So I moved all javascript from &lt;head&gt; to the end of the document before &lt;/body&gt;. That helped  2) Linking to external Google Font CSS (in &lt;head&gt;): blocking. But the font is critical to the design of the page and should load before much else  3) Google Analytics: Caching is not good. (Google has set it internally to 2 hours expiration). Don't know how to change this (this is also placed at the bottom of page)  The Google Font is highlighted as a big priority to change.  How can I fix this? Where/how should I call the the font?