MathDB
log_{10} 2 is irrational.

Source: 1980 Swedish Mathematical Competition p1

March 28, 2021
algebrairrationallogarithm

Problem Statement

Show that log102\log_{10} 2 is irrational.