А это крайне черевато... Так родилось бесчисленное множество дурацких теорем, попыток доказать нормальные теоремы дурацкими методами и прочей ерунды.
Но на этот раз нас торкнуло не так сильно, а потому задание придумалось легкое, ненавязчивое и не требующее особого напряжения мозгов. Итак, суть задачи..

Цель:
Все просто, выражаем число 13
Условия:
а) Разрешается использовать любые элементарные математические функции( + - * / ^ sqrt sin cos arcsin ln log exp [] {} и др )
б) Из всех чисел и констант в явном виде разрешается использовать лишь число 5(т.е. функции ln lg exp использовать можно, но число 10, e, Pi и проч нет)

Суть, разумеется, задействовать как можно меньше пятерок.

У меня уже есть несколько решений через 1. Начинал с 4.

Дерзайте, может и глупо, но народ захватывает