It might be a good idea to just buy the 13 mini. It's not like anything on phones got any better in the last 4 years. And it's still available, for roughly 30% less compared to before it was discontinued by Apple. Which might be the answer to your question actually.