State/The floor sum identity

  =Proof=