• mumblerfish@lemmy.world
    link
    fedilink
    arrow-up
    1
    ·
    16 days ago

    For any time t with worseness w(t) there exists some time t_0 < t where worseness was less, w(t_0) < w(t). Proof: duh.