Add optimality note: exhaustive enumeration confirms magnitude 1 is minimum 51c400d CharlesCNorton commited on 6 days ago