Add optimality note: exhaustive enumeration confirms magnitude 3 is minimum 57725cf CharlesCNorton commited on 13 days ago
