[math-fun] Gibbs phenomenon, agree infinite arc-length