Juggler conjecture

Exercise · jugglerStep_36

Example: jugglerStep 36 = ⌊36^(1/2)⌋ = ⌊6⌋ = 6 (since 36 is even).

Formal statement · Lean 4.lean

theorem jugglerStep_36 : jugglerStep 36 = 6 := by
  sorry

Proof. sorry

Nobody has tried yet.