I would suggest to start with Antminer S9's, or Antminer L3+'s, I think you should be able to get 2 of whichever you choose for 4k$. As far as I know they are the best bang for the buck on the markets right now.