I have the statement "been(x,y)" which means " x has been to y" x is a set of names and y is a set of place. I'm trying to figure out how to write "Every person has been to at least two different places." using only quantifiers and been(x,y)  but I'm lost. Would I need to create a new statement like P(x) or a new variable and how do I include the at least function? I'd really appreciate the help
Let $been(x,y)$ denote "person x has been to place y."   Express “Every person has been to 2 or more places” using quantifiers and $been(x, y)$.  This one is completely stumping me. I'm sure that I haven't come across this kind of concept before, and can't wrap my head around how I would approach it. I suspect the quantifiers should be $∀x$, $∀y$, and that it may involve negating the statement "every person has been to one or zero places," but that's as far as I can manage to go. Any help greatly appreciated.
Assume $f:\mathbb R\rightarrow  {\mathbb R} $ is Lebesgue integrable, prove $\sum_{n\in\mathbb N } f(x+n)$ converges for almost everywhere x. This is a question discussed with friends. Thanks Pausing a long running program in the terminal? Is there a keyboard key combination that I can use to pause a program running in the terminal? In case it matters, I don't intend to run anything else inside that terminal while the program is paused. I just want to pause the program execution, and resume it later. How can I do this? Why choose a low latency kernel over a generic or real-time kernel? How can I remove the white pixels around the edges when exporting a transparent GIF? Uniform convergence of alternating series How to show that $\lim_{n \to +\infty} n^{\frac{1}{n}} = 1$? Isle vs. Island Union of a finite set and a countably infinite set is countably infinite What did Hisoka do in the Hunter Exam? In the first Hunter Exam of the series (Hisoka's second),  was introduced into the series removing another applicant's arms from his body for bumping into him and not apologizing.    What did he actually do? We know Hisoka's abilities are Bungee Gum and Texture Surprise, but they don't explain how the arms are converting into flower petals as seen above. Should Community Moderators be "elected for life", or have terms? While I applaud the excellent work of , the question has come up:     How long will be the elected moderator’s “mandate”? Is it for life, or are we going to have “moderator elections” regularly?   Of course, any community moderator who wishes to recuse him or herself can certainly do that at any time.   Should we have term limits that require community moderators be cycled out periodically, so others get a chance to moderate? Should we hold regular (say, yearly) moderator elections? Is it better to have a larger pool of community moderators, and let the normal ebb and flow of turnover get us "natural" variability in moderation?   What are your thoughts on this? On Travel-SE, there are currently  awarded. However, when one uses the search interface with views:2500, . The two numbers should be equal, and it's difficult to explain the difference with caching issues.   As the number of views is ever-increasing (as we all know, it's impossible to un-see things, unfortunately), this seems like a bug. Or perhaps I'm doing something wrong?  Also, some questions which should qualify don't appear on the search page. See , for example.  None of these questions are closed or deleted: views:2500 closed:yes and views:2500 deleted:yes return 0 results.  Eeeek? Who is bound to the Prime Directive? Login not redirecting back to page where login link was clicked if account created How to monitor USB power consumption? I'm looking for a way to monitor the power being drawn from the USB ports on my Mac.  System Profiler doesn't appear to display this and I haven't been able to find any applications or tools to do the job either.  Can anyone suggest anything (preferably software based)? Does the diameter of the aperture increase with increases in the focal length with constant F-number(F-stops)? What I have learned from the definition of F-number is that;  The F-number (sometimes also called focal ratio, f-ratio, f-stop, or relative aperture) of a lens is the ratio of its focal length divided by the diameter of the aperture. And F-numbers are expressed as f/1, f/1.4, f/2, f/2.8, f/4, f/5.6, f/8, f/11, f/16, f/22, f/32 etc. Hence F-number (F-stop) depends on two variables; that are diameter of aperture and focal length of the lens.  Aperture diameter/size is one of the component which governs the amount of light that enters to the camera. As far as I known, at different F-stops values (f/1, f/1.4, f/2, f/2.8, f/4, f/5.6, f/8, f/11, f/16, f/22, f/32) the amount of light allowed to enter the camera is fixed and are with either 1/2 or 1/3 stop increment.  This concept is very easy to understand, in case of prime lenses (with a  fixed focal length and variable aperture), where F-stop is inversely proportional to the aperture diameter. For lower F-number (F-stop) the aperture would be bigger allowing more light and for higher Hence F-number (F-stop) the aperture would be smaller allowing less light in to the camera.  F-numbers (F-stops) have been evolved to allow a definite/fixed amount of light in to the camera (As far as I known). In case of zoom lens (with variable aperture and variable focal length), I am not able to understand the what would be the relationship between F-stop and the diameter/area of aperture at different focal length.  I have two related questions  1 . In case of zoom lens,  for example, Canon EF-S 18-135mm f/3.5-5.6  (with variable aperture and variable focal length). At any particular F-number(F-stop), for example at f/5.6 , does the diameter of the aperture increase with increases in the focal length? I mean,  Is the diameter of the aperture at  18mm and f/5.6 would be smaller than that of at 135 mm and f/5.6?   In the above case (i.e. Canon EF-S 18-135mm f/3.5-5.6 ), What is amount of light that would enter the camera at 18mm and f/5.6 compared to that of at 135 mm and f/5.6? Will the amount of lights be same or different? This came up in  , but I can't see good documentation or examples that explain how the feature works. Javascript mechanism to autoscroll to the bottom of a growing page? For $n\geq 3$ there exist $x,y\in S_n$ such that $x$ and $y$ have order $2$ and $xy$ has order $n$. Assume that $n\geq 3$. Let $S_n$ be the symmetric group with $n!$ elements. Prove that there exists $x$ and $y$ in $S_n$ such that $x$ and $y$ have order $2$ and $xy$ has order $n$.  For $n=3$, it is easy to see that $x=(1, 2)$ and $y=(1, 3)$ works. How to prove it for the general case? Effects of continuing after a total party wipe? I've had a couple of encounters so far where I stumbled into enemies that were higher level than expected and gotten wiped out. At the game over screen, I chose the option "Continue". After doing so, I didn't notice any negative consequences. I was plopped back just a few metres from the area I died, and was free to continue on as if nothing had happened. Am I missing something? Is there some negative effect from a party wipe? Checking to see if a DateTime variable has had a value assigned