Before revision:  As k \infty, the ratio converges to (1 - 1/e)/(c + 1).
After revision:  As k oracle queries, for any c