The reddit post was taking 50,000IU a day, which is usually the amount prescribed for someone to take once a week.
Your 4000IU isn't too much. Lots of the brands you see in stores are 5k for daily supplementation.