0 21 15 31 v 1 2 5 N ov 2 00 2 The 4-loop β-function in the 2 D Non-Abelian Thirring model , and comparison with its conjectured “ exact ” form