[일반] 증명을 하긴 했는데 최단거리가 아닌 것 같애

[익명(106.102)]

해석학에서 jump 배울 때 jfx>0인 x가 countable하다는걸 보일 때 쓴 증명의 일부인데 이게 최단거리일까..?

[익명(210.179)]

증명은 뭔소린지 모르겠어서 무시하고 jump마다 서로다른 유리수 대응할수있으니 모순만들수있음