f = Segment((-0.2, 0), (-0.2, 1))
g = Segment((-0.4, 0), (-0.4, 1))
h = Segment((-0.6, 0), (-0.6, 1))
i = Segment((-0.8, 0), (-0.8, 1))
A = Point(i)
B = Point(h)
C = Point(g)
D = Point(f)
s: y(A) + y(B) + y(C) + y(D)
a: y(A) / s
b: y(B) / s
c: y(C) / s
d: y(D) / s
E: (0, a)
F: (0, a + b)
G: (0, a + b + c)
H: (0, a + b + c + d)
I: (0, 0)
j = Segment(I, E)
k = Segment(E, F)
l = Segment(F, G)
m = Segment(G, H)
simp: (a * (1 - a)) + (b * (1 - b)) + (c * (1 - c)) + (d * (1 - d))
mean = Mean({a, b, c, d})
e = GeometricMean({a, b, c, d})
J: ((4 * e), simp)