Solution (source code)

= Solution

$\log_2 3$ is irrational: if it were $p/q$, then $2^p=3^q$, contradicting unique prime factorisation.