In fact, most of the perspective correction already comes from the lens. It is 17mm, the lens points directly forward (not up) and I cut away the lower part of the photo. 17mm already looks quite extreme in the corners, because of the aspherical elements. Of course I still use Photoshop, if the perspective is not 100% correct. And I need Lightroom to get rid of the heavy barrel distortion with a click. Without that most lines would be curved.
On the fourth photo the perspective was quite heavily corrected with Photoshop, because on the original photo the camera was pointed up.