P
Initializing...
Theorem 6 — $c^*$ is realizable iff $\sum_i 1/c(i)\le 1$ · Prove2Me