А вот интересно, как же на самом деле произносится Dirichlet? По-русски всегда вроде бы было "Дирихле", но вот некоторые, с позволения сказать, статистики упорно говорят "Диришле". Как же правильно? Второй вариант мне представляется, скажем так, маловероятным. И в плане благозвучия тоже как-то не очень.