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