Note: I was moving quickly, and did the wrong calculation for the lower bound earlier. It is now 5k rather than 20k.
Note: I was moving quickly, and did the wrong calculation for the lower bound earlier. It is now 5k rather than 20k.