Transcendence (general theory) Diophantine approximation mathematics