Yep, f/16 is going to be diffraction softened already. f/8 or f/11 sounds reasonable for a typical 35mm RF lens. But try it for yourself!