File:MathFoundations80 Inconvenient truths about sqrt(2)