A positive integer is called "cyclic" if it satisfies a certain divisibility condition involving Euler's totient function, which turns out to be equivalent to saying that every group of the same size must be the simplest possible kind (a cyclic group). A number is called "Sophie Germain cyclic" if both the number itself and twice the number plus one are cyclic in this sense. Researchers have studied how often such numbers appear, and a mathematician named Cohen conjectured that the counting function for these numbers is "subadditive," meaning that counting them up to some combined limit is never more than counting them separately up to each part and adding the results.
The paper disproves Cohen's conjecture by finding a specific pair of numbers where the subadditivity property fails. With m equal to 31 and n equal to 3928, the count of Sophie Germain cyclic numbers up to their sum (3959) turns out to be 697, which is one more than the 696 you get by adding the separate counts. Cohen had checked all pairs up to one million without finding a failure, so the conjecture seemed plausible, but this small counterexample shows it is false. The proof is brief and has also been formally verified using the Lean 4 proof assistant, which is a computer system that checks mathematical arguments with complete rigor.