P-adische Definition vom atan verbessert