How much money do I really need to retire early (my analysis of the 4% rule / 25x rule)