• mumblerfish@lemmy.world
    link
    fedilink
    arrow-up
    6
    ·
    3 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.