ε論法とアルキメデスで終了。