The value before rounding can however be approximated to any given precision even if the conjecture is unprovable .
This can however be approximated to any given precision even if the conjecture is unprovable .