[math-fun] Another sqrt(binomial) = pentanomial