sidon_set_size_conjecture