DH and I are way less into running numbers than most people here, for several reasons. Honing in on exact numbers (or at least general ranges) is something we've only very recently started considering.
Lean: ~$0 (plus pension (PP) which is inflation-adjusted and he's now fully earned)
Regular: $750k-ish, PP
Fat: $1.5k-ish, PP
Of note is that these are all based on about the same SWR. They constitute the numbers we'd need to live, and at least somewhat thrive, withdrawing at the same rate. If we needed to, we could retire on just the pension alone, though we'd have to move to a LCOL or MLCOL place to do so. I won't say this is a worst-case scenario, but it's one we wouldn't consider unless there were major influences. Thankfully, since we already have well more than $0, it would be almost impossible for this to come to pass.
The regular number opens up most locations to us and ore wiggle room to enjoy hobbies, not have to track every dollar, etc. The biggest question mark here is location. We don't know where we want to land. In some places, this number would be well more than enough for the lifestyle we want and in others, it might be tight-ish.
The Fat number means we can live almost anywhere (except, sadly, the one place in the US we'd love to be if money were no object, and where very modest houses start at about $2m, but we could go to that larger metro area if we wanted to). Slow travel with little regard for costs would be entirely available to us, as would much support for our favorite charitable institutions. We could basically never think about money, which is about what we do now--not think about it.