Đặt `A=(15^6+1)/(15^7+1)`
`->15A=(15^7+15)/(15^7+1)`
`->15A=1+14/(15^7)`
Chứng minh tương tự:
`->15B=1+14/(15^16+1)`
Ta thấy `15^7+1<15^16+1`
`->14/(15^16+1)<14/(15^7+1)`
`->1+14/(15^16+1)<1+14/(15^7+1)`
`->15B<15A`
`->B<A`
`(15^15+1)/(15^16+1)<(15^6+1)/(15^7+1)`