EFF nicht annäherbar: 255 Agenten und 764 Aufgaben ohne 1,00001-fache gerechte Aufteilung, formal in Lean 4 verifiziert 20. Mai 2026