Add optimality note: exhaustive enumeration confirms magnitude 4 is minimum 0cca55a CharlesCNorton commited on 29 days ago
