TY - RPRT TI - A sum involving the greatest-integer function AU - David Ross Richman PY - 2019 UR - https://arxiv.org/abs/1906.12032 ID - 1906.12032 ER -