definition of eventually constant
wording
finish proof of continuity of phi for epsilon
conclude proof of existence of epsilon
proof that pi exists