Известно, что класс бесконечно дифференцируемых функций обычно обозначается

, а аналитических -

. Вот эта омега во втором обозначении - она носит исключительно качественный характер (

), или аналитические функции действительно дифференцируемы трансфинитное число раз в некотором смысле?