Jonatan Hatakeyama Zeidler jonnius

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                jonnius
                / keybase.md
            
            
              Created
              September 24, 2015 15:18
            
          
    Keybase proof

I hereby claim:

I am jonnius on github.
I am jonius (https://keybase.io/jonius) on keybase.
I have a public key whose fingerprint is 4071 FB61 ED44 B460 3CB2  721E 71F7 AB08 9E3D E857

To claim this, I am signing this object:

  
## proof of a line
To show: 1 <= size <= 10

size = 1 + t1 / (1 + t2/10 - c1) - c2
we add c1 and c2 because of the integer division

Assumptions:
(i) 	0 <= t1 <= t2
(ii) 	t2 >= 0
(iii)   0 <= c1 < 1 (consequence of integer division)
(iv) 	0 <= c2 < 1 (consequence of integer division)
	To show: 1 <= size <= 10

	size = 1 + t1 / (1 + t2/10 - c1) - c2
	we add c1 and c2 because of the integer division

	Assumptions:
	(i) 0 <= t1 <= t2
	(ii) t2 >= 0
	(iii) 0 <= c1 < 1 (consequence of integer division)
	(iv) 0 <= c2 < 1 (consequence of integer division)