I don’t know that the common proof by contradiction is even remotely straightforward for this community. Niven’s proof relies on way more shit than you’d expect someone asking the question this way to know. I’m honestly not sure there is a simple proof because even Lambert’s relies on continued fractions.