Small nitpick. The range resolution improves with increasing pulse/chirp/waveform bandwidth, not increasing carrier frequency. It's true that at higher carrier frequencies there is more bandwidth available and thus better range resolution is possible but the relationship is slightly different than "delta_r ~ frequency"