Add optimality note: exhaustive enumeration confirms magnitude 3 is minimum 8dd055d CharlesCNorton commited on Jan 23