[math-fun] miscellaneous CF identity