Relationen mellan finita datamängder: det finns alltid (minst) en funktion som kan beskriva den [Filosofisk Kalender 3:617]

 [Ekdalen, Storsjö]

Om det till varje varje finit mängd datapunkter alltid går att finna minst en kurva, och en funktion som beskriver den, så måste det ju också finnas minst en funktion som beskriver relationen mellan två finita datamängder, dvs. en funktion som beskriver relationen mellan två funktioner.

[Promptade ChatGPT senare (2026-08-25) för ett matematiskt bevis, och fick svar med användning av Lagrange's interpolationspolynom.]