Show that `log_2(7)` is an irrational number.

Explanation

`log_2^7=p/q`(If `log_2^7` is rational number)

`2^(p/q)=7`

`(2^(p/q))^q=7^q`

`2^P=7^q`(Not possible)

`2^P` is always even

`7^q` is always odd

`log_2^7` is an irrational number.