whats 1000/2(pie) squared ?
$${\frac{{\mathtt{1\,000}}}{{\mathtt{2}}}}{\mathtt{\,\times\,}}{{\mathtt{\pi}}}^{{\mathtt{2}}} = {\mathtt{4\,934.802\: \!200\: \!544\: \!679\: \!309\: \!4}}$$
Is this what you wanted?
4 934.8022 is the answer
