%timeit(number=1, repeat=1) L = [sigma(n) for n in range(10**13, 10**13 + 5)]
%timeit(number=1, repeat=1) L = [sigma(n) for n in range(10**14, 10**14 + 5)]
proof.all(False)