Lower bound on $\varphi(n)$ - part 3

[jordan]

Definito $\varphi(n)$ il numero di interi positivi minori di $n \in \mathbb{N}_0$ e coprimi con esso, mostrare che per qualche costante $C>0$ vale definitivamente: \[ \varphi(n)>C \frac{n}{\ln \ln n}\]

[<enigma>]

A me viene con $C=e^\gamma+o(1)$, quando ho tempo scrivo la soluzione. E' noto qual è la migliore costante possibile?

[Ido Bovski]

A me viene con $C=e^\gamma+o(1)$, quando ho tempo scrivo la soluzione. E' noto qual è la migliore costante possibile?

http://math.stackexchange.com/questions ... 665#101665

[jordan]

Eh vabè, questo uccide tutti e tre i problemi..

Ps. Che tipo di sito e' quello sopra, una specie di forum dove ogni utente scrive in forma anonima, con domande di tutti i tipi, e ad ogni livello? Nel caso specifico, come hai trovato la domanda?

[fph]

Ps. Che tipo di sito e' quello sopra, una specie di forum dove ogni utente scrive in forma anonima, con domande di tutti i tipi, e ad ogni livello?

Proprio così, anche se "in forma anonima" non è esatto; molti usano il nome vero.
Sulla descrizione c'è

This is a collaboratively edited question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Per domande "a livello di ricerca" è più appropriato il sito gemello http://mathoverflow.net, dove girano anche alcuni matematici ben noti (almeno tre medaglie fields, per esempio).

[jordan]

Per domande "a livello di ricerca" è più appropriato il sito gemello http://mathoverflow.net,

Hai ragione, usano quasi tutti il nome originale, anche se non richiesto.. Grazie per il link!

Ps. Qualcuno che mette una dimostrazione al problema originale?