For all $X \geq 1$,$\sum\limits_{1 \leq n \leq X} \mu(n) \left[\frac{X}{n}\right] = 1.$
Prove $\sum_{d \leq x} \mu(d)\left\lfloor \frac xd \right\rfloor = 1 $
How can I select a point without selecting its reflected side Note: If you're looking for a simple explanation as to why comments aren't required on downvotes, see .   I used to get "upset" (though that is too strong a term) when I got downvoted without comment. If my answer isn't good enough then I'd like to know why. Not only does it improve the answer for the OP but it improves my knowledge too.  Where the down-vote has been explained I've found it useful &amp; it has improved my answer, or forced me to delete the answer if it was totally wrong.  So is there any way we can encourage people to leave a comment? Perhaps they don't lose rep if they explain their down-vote?  I must admit though that I haven't always explained my down-vote either so you could call me a hypocrite. I've also grown a thicker skin over the months of using SO (it seems to have come with the higher rep score ;-)), so I'm less bothered about this now. What characters are valid in a Java class name? What other rules govern Java class names (for instance, Java class names cannot begin with a number)? Suppose $G$ is a non-abelian group and $H,K$ are two abelian subgroups of $G$. Then must $HK$ be an abelian subgroup of $G$?  I know an example, but I am confused. Thus I just want to check that. Is using "fruits" as the plural of "fruit" acceptable? How to properly install Java in OS X An idempotent operator is compact if and only if it is of finite rank Punctuation in an indirect quotation "Thus" vs. "so" in formal English What is this weird colon-member (" : ") syntax in the constructor? I'm printing a tradeshow flyer and was wondering what type of paper I should print it on. I don't want anything glossy so I'm trying to decide on the following:   100# text weight matte 80# cover 80# matte   What is the difference between the types above? And how can I make a decision? How can I get a list of all packages in a repository section from command line? Drawing on an image with TikZ Recently I have learned how to draw simple stuff with TikZ. I really like it. Now I wonder if it is possible to draw with TikZ on a image. Instead of pasting a image in Illustrator and adding some vectors to point something in the picture I would like to do it using TikZ. Is it possible?   For example, on a picture of a computer (PNG,etc) I would like to draw some arrows and labels saying "Keyboard", "Monitor", etc. How do I make my own horse follow me? I've found a horse in Skryim and I ride it a bit to explore the wild but when I dismount, it wanders away and doesn't stay where I leave it. How do I stop it from doing this? Is there a special thing I forgot about horses? I didn't steal this horse - it was from an Imperial Fort that I've cleared. Possibility of recovering files from a dd zero-filled hard disk I have "zero filled" (complete wiped) an external hard disk using dd, and from what I have heard: people said you should at least "zero fill" 3 times to be sure that the data are really wiped and no one can recover anything.  So I decided to scan the disk once again after I've zero filled the disk. I was expecting the disk to still have some random binary left. It turned out that it has only a few sequential bytes in the very beginning. This is probably the file structure type and other headers stuff. Other than that, it's all zeros and nothing else.  So if we have to recover any file from a zero filled disk, ...how? From what I've heard, even you zero fill the disk, you should still have some data left. ...or could dd really completely annihilate all data? Choosing between meaningful and meaningless hostnames When can we speak of collinearity biblatex - issue number of journal in date I guess the proof of the identity $$ \sum_{n = 0}^{\infty} \frac{1}{n!} \equiv \lim_{x \to \infty} \left(1 + \frac{1}{x}\right)^x $$ explains the connection between such different calculations. How is it done? Site being repeatedly hacked: any useful tips for tracking down entry point?