x

L+ε

L-ε

L

f(x)

∀ε>0 ∃ N>0 : x>N
⇒ |f(x)-L|<ε

lim_x_→_+_∞f(x)=L

f(x)=

N=

ε

N

X = 2.5 (slider from -10 to 10, step 0.1)
C: (X, 0)
L = 3 (slider from -10 to 10, step 0.25)
ε = 0.8 (slider from 0.1 to 5, step 0.1)
f(x) = sin(x)
Y_+: (0, L + ε)
y_+: y = y(Y_+)
Y_-: (0, L - ε)
y_-: y = y(Y_-)
N = 4.5 (slider from 0.1 to 20, step 0.1)
B: (0, L)
c: y = y(B)
k: x = x(C)
P = Intersect(f, k, (2.5, 0.5984721441039564))
f_X: (0, f(P))
m = Segment(f_X, P)
j(y) = L - ε  <  y  <  L + ε
campoInserimento = Textfield(f)
testo5: "" + (N / ε) + ""
i(x) = x > N
h(x, y) = (x > N) ∧ L - ε  <  y  <  L + ε
l = Segment(C, P)
testo3: "x=" + X + ""
testo4: "f(x)=" + (f(X)) + ""
D = (-2.2, -0.64)
E = (-1.04, -0.66)
u = Vector(D, E)
a: x = N
F = Intersect(a, xAxis)