logpie + logepi = logee / logepi + logepi [change to common base e]
= 1/ln pi + ln pi . [usual notation for natural logs]
= 1/L + L , say
Now 1/L + L > 2 iff L^2 - 2L + 1 > 0 and L > 0
iff (L - 1)^2 > 0 and L > 0 ......... Eq. 1
Now L = ln pi > 1 since pi > e
Therefore, Eq. 1 is true and the result is proved.
Nice problem, Ady!
Edited on February 27, 2017, 9:58 am