MathDB
Sum of fractional part of binomial coefficients

Source: 2017 Thailand October Camp 1.7

February 25, 2022
binomial coefficientsalgebrafunction

Problem Statement

Evaluate n=20172030k=1n{(nk)2017}\sum_{n=2017}^{2030}\sum_{k=1}^{n}\left\{\frac{\binom{n}{k}}{2017}\right\}.
Note: {x}=xx\{x\}=x-\lfloor x\rfloor for every real numbers xx.