Remember the rules of my PYHIYP?
No smartphones.
No pen and paper.
No time limit
No OEIS.
Just KISS
PROVE THAT log105 is irrational
(In reply to
Puzzle Solution by K Sengupta)
Good News:
The proof given by K Sengupta can be used to prove that Log_10(x) is irrational for any x that is not a multiple of 10.
Bad News:
The "proof" given by K Sengupta can be misused to prove that Log_10(1) is irrational, which it definitely is not. The problem is that 10^a does not always end in 0 for an integer a. It always ends in 0 or 1 if a is non-negative.