« first day (462 days earlier)      last day (92 days later) » 

Jim
Jim
20:02
@ErickWong Brocard's problem implies $ \log(a)-\log(r)=n- s_2(n)-2 $ where $n!=2^{n- s_2(n)}\times a \times r$ ($a, r$ are odd numbers). Isn't it sufficient to show that Brocard's problem has finite solutions if $ \log(a)-\log(r) > n$ (induction), $\forall n>n_0$, for sufficient large $n_0$?
Jim
Jim
20:36
Probably, showing $ \log(a)-\log(r) \neq n$ by induction, if possible.
Jim
Jim
21:12
I mean, $ \log(a)-\log(r) \neq n- s_2(n)-2 $
21:56
Sure, sounds sufficient to me. But you haven't even defined what $a$ and $r$ are. Are they all possible decompositions of the odd part of $n!$ into two factors? It certainly seems unlikely that $\log a - \log r > n$ will uniformly hold over all choices of $a$ and $r$. It also is certainly unlikely that $\log a - \log r < n-s_2(n)-2$ will uniformly hold. So what makes you believe there is any inductive structure on which to establish the inequality?
 
1 hour later…
Jim
Jim
23:08
@ErickWong , u r correct about $a, r$ and , yes, $\log a - \log r > n$ or $\log a - \log r < n-s_2(n)-2$ will not uniformly hold over all choices/all possible decompositions of $a$ and $r$, but it seems quite possible to show that either $\log a - \log r < n-s_2(n)-2$ or $\log a - \log r > n-s_2(n)-2$ , in other words, to show $ \log(a)-\log(r) \neq n- s_2(n)-2 $, $\forall n>n_0$, for sufficient large $n_0$ , I am considering the possibility.

« first day (462 days earlier)      last day (92 days later) »