というか 0.999999… = 1 のまともな証明を聞いたことがない。