(I really need to be more careful; this isn’t the first time I’ve been caught making a trivial error in public, and it’s starting to get embarrassing.)
Well, what I wrote was wrong too—what matters is the non-integer part of 10^100/(2*pi).
(I really need to be more careful; this isn’t the first time I’ve been caught making a trivial error in public, and it’s starting to get embarrassing.)
Well, what I wrote was wrong too—what matters is the non-integer part of 10^100/(2*pi).