[ε-δ論法] サトノダイヤモンド