If that's the number of significant figures one can remember, rounding up to 3.142 would be closer. Similarly, rounding to 3.1416 is much better than truncating to 3.1415.