A nonconstructive upper bound on covering radius | Synapse