import ColloquiumLean.ContinuousLimitSolution