[math-fun] Detecting binomial coefficients