0＜ｚ＜1 について
ａn＝［ｚ・10^n］/10^n とします

つまりａnはｚの小数n桁でのきんじです
この時、十分大きいnに対して、ａn≠０となるみたいなのですが、何故でしょうか？直感的には、ａnが小数n桁でのきんじだから わかるのですが、厳密に証明できません
解説お願いします