Determine the greatest positive integer \(n\) for which there exists a sequence of distinct positive integers \(s_1\), \(s_2\), \(\ldots\), \(s_n\) satisfying \[s_1^{s_2}=s_2^{s_3}=\cdots=s_{n-1}^{s_n}.\]

[i]Proposed by Holden Mui[/i]
1. We start by considering the sequence \(s_1, s_2, \ldots, s_n\) of distinct positive integers such that \(s_1^{s_2} = s_2^{s_3} = \cdots = s_{n-1}^{s_n}\). Let \(s_i = c^{a_i}\) where \(c \neq 1\) for \(i \leq n-1\). This implies that \(s_i\) can be expressed as a power of some base \(c\).

2. Given \(s_1^{s_2} = s_2^{s_3} = \cdots = s_{n-1}^{s_n}\), we can write:
   \[
   c^{a_1 \cdot c^{a_2}} = c^{a_2 \cdot c^{a_3}} = \cdots = c^{a_{n-2} \cdot c^{a_{n-1}}}
   \]
   This implies:
   \[
   a_1 \cdot c^{a_2} = a_2 \cdot c^{a_3} = \cdots = a_{n-2} \cdot c^{a_{n-1}}
   \]

3. Let \(a_i = x \cdot c^{b_i}\) for \(i \leq n-2\). Then we have:
   \[
   x \cdot c^{b_1} \cdot c^{x \cdot c^{b_2}} = x \cdot c^{b_2} \cdot c^{x \cdot c^{b_3}} = \cdots = x \cdot c^{b_{n-2}} \cdot c^{x \cdot c^{b_{n-1}}}
   \]
   Simplifying, we get:
   \[
   b_1 + x \cdot c^{b_2} = b_2 + x \cdot c^{b_3} = \cdots = b_{n-3} + x \cdot c^{b_{n-2}} = N
   \]
   where \(N\) is a constant.

4. Let \(j\) be the largest number such that \(N \geq x \cdot c^j\). Since the numbers are distinct, we have \(b_1 \neq b_2 \neq \ldots \neq b_{n-2}\). Therefore, at least \(n-5\) of the \(b_i\) for \(i \geq 2\) satisfy:
   \[
   N - x \cdot c^{b_i} = b_{i-1} \geq x \cdot c^{j-1} (c-1)
   \]
   Thus:
   \[
   x \cdot c^{n-6 + x \cdot c^{j-1} (c-1)} \leq N < x \cdot c^{j+1}
   \]

5. Solving the inequality:
   \[
   n-6 + x \cdot c^{j-1} (c-1) < j+1
   \]
   Since \(c > 1\), we get:
   \[
   j+1 > n-6 + x \cdot c^{j-1} (c-1) \geq n-6 + 2^{j-1}
   \]
   Therefore:
   \[
   n < j+1 - 2^{j-1} + 6 \leq 7
   \]
   This implies \(n \leq 6\).

6. If equality holds, then \(c = 2\) and \(x = 1\), so \(a_i\) is a power of 2. Therefore, \(s_i\) must be a power of 2 for all \(i \leq n\), which gives a contradiction after the same steps. Therefore, \(n = 5\).

7. A construction for \(n = 5\) is given by:
   \[
   256^2 = 2^{16} = 16^4 = 4^8 = 65536
   \]

The final answer is \(\boxed{n = 5}\).