Add optimality note: exhaustive enumeration confirms magnitude 4 is minimum 6e63966 CharlesCNorton commited on Jan 23