[math-fun] Some Wilsonian sums