Paragraph

Prove that \(\log(7)\) is irrational.