10000th digit of sqrt(2