Optimize red-ball draw probability, prove optimality | Thumbtack