\[\sum_{d\mathbin{|}n}\mu\left(d\right)=\left\lfloor\frac{1}{n}\right\rfloor,\]