«Для любого сколь угодно малого эпсилон, существует такое N, что для любого проекта с размером не меньше N хаскель отличается от джавы не больше чем на эпсилон»
Нужны N и M — для Haskell и Java по отдельности, потому что один и тот же размер имеет сильно разное значение. 😉