[math-fun] Density of sums of squares