Use any method you choose to find that the sequence of repeating digits in the decimal for 1/17 is
.0588235294117647
That sequence has 16 digits.
4000/16 = 250 remainder 0
That means the 4000th digit after the decimal point in the fraction 1/17 is the last digit in the 250th occurrence of the repeating sequence, which is 7.
