PPL 002 / 177 permanent IDsPrize Problem Ledger · PPLChecked 2026.07.27
Prize Problem LedgerAlthöfer Collatz prizesPPL 002Althöfer · Does the 9n+1 orbit from 1 diverge?

Permanent problem IDPPL 002

Verified openIndependentconjecture

Dynamical systems

Althöfer · Does the 9n+1 orbit from 1 diverge?

Prove or disprove that the 9n+1 trajectory starting from 1 tends to infinity.

Collatz variantsinteger iterationdiscrete dynamics
01

The problem

Prove or disprove that the 9n+1 trajectory starting from 1 tends to infinity.

Open sinceUnknowndate not stated
Last checked2026.07.27Catalog verification
02

Reward offers

Offer 01€50Ingo Althöfer
Personal offer

First solution wins; computer-assisted proofs are allowed, the sponsor excludes legal recourse, and the offer expires on 31 December 2037.

Published deadline: 2037-12-31

03

Sources & reading