while everyone’s 401k’s are diversified (and people on this forum will fight you to death how brainwashed everyone is about this) people that make real money absolutely do not diversify.
I drank the diversification cool-aid for two decades and saw my portfolio generally hum 8-9%. then few years ago I moved all of my money into 4 stocks and my returns have been same as before with few extra zeros in front of 8-9