양의 실수 t에 대하여 한 변의 길이가 1인 정사각형 ABCD 위의 점 P0,P1,P2,P3,…은 다음과 같은 규칙을 따라 정해진다.

(규칙 1) P0=A
(규칙 2) 자연수 n에 대하여 점 Pn−1에서 점 Pn까지 정사각형 ABCD의 변을 반시계방향으로 따라 가는 경로의 길이는 tn−1이다.
다음을 만족시키는 실수 k의 최솟값은? [4점]
k<t<4039인 t에 의해 정해지는 점 P0,P1,P2,P3,… 중에서 무수히 많은 점들이 변 DA 위에 있다.