[math-fun] sqrt(binomial)=octonomial, sort of