Lemma: Möbius and Floor Functions Combined

For every real number $x \ge 1$ we have: $$\sum_{n=1}^{\lfloor x\rfloor}\mu(n)\left\lfloor\frac xn\right\rfloor=1.$$

Proofs: 1 Explanations: 1

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Scheid Harald: "Zahlentheorie", Spektrum Akademischer Verlag, 2003, 3rd Edition
  2. Landau, Edmund: "Vorlesungen über Zahlentheorie, Aus der Elementaren Zahlentheorie", S. Hirzel, Leipzig, 1927