[math-fun] Question about largest regular simplex among corners of n-cube