OK, that ought to do it! Some years back, the five of us had a 40 gal and there were a few cold showers.
Well if we just ran hot water for a very long time it might have to catch up, but for all practical purposes we have never ran out of hot water.