Banans längd l1 / ^ eng . mil.